Fundamenta Informaticae > 2003 > Vol. 54, nr 2,3 > 253-262
Source
Abstract
Identifiers
journal ISSN : | 0169-2968 |
journal e-ISSN : | 1875-8681 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
1. [BCM92] J. R. Burch, Edmund M. Clarke, and Kenneth L. McMillan. Symbolic model checking: 10.20 states and beyond. Information and Computation, 98(2), June 1992.
-
2. [CES86] Edmund M. Clarke, E. M. Emerson, and A. P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems, 8(2):244 - 263, April 1986.
-
3. [HJJJ84] Huber, A. Jensen, Jepsen, and K. Jensen. Towards reachability trees for high–level petri nets. In Advances in Petri Nets 1984, Lecture Notes on Computer Science 188, pages 215–233, 1984.