Author:
Gallasch Guy Edward,Billington Jonathan,Vanit-Anunchai Somsak,Kristensen Lars Michael
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference40 articles.
1. Barrett, W.A., Couch, J.D.: Compiler Construction: Theory and Practice. Science Research Associates (1979)
2. Bérard B., Bidoit M., Finkel A., Laroussinie F., Petit A., Petrucci L. and Schnoebelen Ph. (2001). Systems and Software Verification—Model-Checking Techniques and Tools. Springer, Heidelberg
3. Billington, J.: Abstract Specification of the ISO Transport Service Definition using Labelled Numerical Petri Nets. Protocol Specification, Testing, and Verification, vol. III. Elsevier, Amsterdam, pp. 173–185 (1983)
4. Billington, J., Gallasch, G.E., Han, B.: A coloured petri net approach to protocol verification. In: Lectures on Concurrency and Petri Nets, Advances in Petri Nets. Lecture Notes in Computer Science, vol. 3098. Springer, Heidelberg, pp. 210–290 (2004)
5. Billington J., Gallasch G.E., Kristensen L.M. and Mailund T. (2004). Exploiting equivalence reduction and the sweep-line method for detecting terminal states. IEEE Trans. Syst. Man and Cybernet. Part A: Syst. Humans 34(1): 23–37
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献