Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem /
"This monograph is a revised version of the author's Ph. D. thesis, submitted to the University of Liège, Belgium, with Pierre Wolper as thesis advisor. The general pattern of this work, is to turn logical and semantic ideas into exploitable algorithms. Thus, it perfectly fits the modern t...
Saved in:
| 主要作者: | |
|---|---|
| 格式: | 图书 |
| 语言: | English |
| 出版: |
Berlin ; New York :
Springer,
c1996.
|
| 丛编: | Lecture notes in computer science ;
1032. |
| 主题: | |
| 标签: |
添加标签
没有标签, 成为第一个标记此记录!
|
3rd Floor Main Library
| 索引号: |
A1234.567 |
|---|---|
| 复印件 1 | 可用 |