Author:
Janicki Ryszard,Koutny Maciej
Reference21 articles.
1. Cartier P., Foata D., Problemes combinatoires de communication et rearrangements, Lecture Notes in Mathematics 85, Springer 1969.
2. Clarke E.M., Grümberg O., Research on Automatic Verification of Finite-State Concurrent Systems, Ann. Rev. Comp. Sci. 2(1987), 269–290.
3. Clarke E.M., Emerson E.A., Sistla A.P., Automatic Verification of Finite-State Systems using Temporal Logic Specifications, ACM Transactions on Programming Languages and Systems 8(1986), 244–263.
4. Godefroid P., Using Partial Orders to Improve Automatic Verification Methods, Proc. of CAV'90, this volume.
5. Hennessy M. and Milner R., Algebraic Laws for Nondeterminism and Concurrency, JACM 32(1985), 136–161.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Petri Nets: A Simple Language and Tool for Modeling Complex Ideas;Carl Adam Petri: Ideas, Personality, Impact;2019
2. Analysis of Concurrent Control Systems;Prototyping of Concurrent Control Systems Implemented in FPGA Devices;2016-10-01
3. Introduction;Prototyping of Concurrent Control Systems Implemented in FPGA Devices;2016-10-01
4. On Stubborn Sets in the Verification of Linear Time Temporal Properties;Formal Methods in System Design;2005-01
5. Stubborn Sets for Priority Nets;Lecture Notes in Computer Science;2004