In: Application and Theory of Petri Nets and Concurrency Lecture Notes in Computer Science (9115) Springer International Publishing, Switzerland, pp. 309-328. ISSN 0302-9743
New Search Strategies for the Petri Net CEGAR Approach
In: Probabilistic safety assessment and management. PSAM 4. Proceedings of the 4th international conference on probabilistic safety assessment and management. New York, 1998..
Analysis of adaptive multi-state logic in fault-tolerant systems