登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Partial-order methods for the verification of concurrent systems : an approach to the state-explosio
出版社：Berlin ; New York : Springer, c1996.
ISBN：3540607617
出版年：1996
作者：Godefroid,Patrice.
资源类型：图书
细分类型：西文文献
1浏览量
 问图书管理员
 馆际互借
点赞
收藏
访问借阅管理系统
相关推荐
...

Specification and verification of concurrent systems
  • 作者：Rattray,C.
  • ISBN：3540195815
  • 出版社：London ; New York : Springer-Verlag, 1990.
  • 出版年：1990
...

Compositional verification of concurrent and real-time systems
  • 作者：Juan,Eric Y. T.
  • ISBN：140207025X
  • 出版社：Boston : Kluwer Academic Publishers, c2002.
  • 出版年：2002
...

Automatic Verification methods for finite state systems : international workshop, Grenoble, France,
  • 作者：Sifakis,J.
  • ISBN：0387521488
  • 出版社：Berlin ; New York : Springer-Verlag, c1990.
  • 出版年：1990
...

Concurrent and real time systems : the CSP approach
  • 作者：Schneider,S. A.
  • ISBN：0471623733
  • 出版社：Chichester [England] ; New York : John Wiley, 2000.
  • 出版年：2000
...

Verification of sequential and concurrent programs
  • 作者：Gries,David
  • ISBN：0387948961
  • 出版社：New York : Springer-Verlag, 1997.
  • 出版年：1997
...

Specification and analysis of concurrent systems : the COSY approach
  • 作者：Janicki,Ryszard.
  • ISBN：0387552049
  • 出版社：Berlin ; New York : Springer-Verlag, c1992.
  • 出版年：1992