Author:
Barbeau Michel,Bochmann Gregor
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. P. Azema, G. Juanole, E. Sanchis, M. Montbernard, Specification and Verification of Distributed Systems Using Prolog Interpreted Petri Nets, 7th International Conference on Software Engineering, 1984.
2. M. Barbeau, G. v. Bochmann, Extension of the Karp and Miller Procedure to Lotos Specifications, Computer Aided Verification'90, ACM/AMS DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Vol. 3, 1991, pp. 103–119; and Springer-Verlag, LNCS 531, pp. 333–342.
3. M. Barbeau, G. v. Bochmann, The Lotos Model of a Fault Protected System and its Verification Using a Petri Net Based Approach, Workshop on Computer-aided verification, Aalborg, Danemark, 1991; and Springer-Verlag, LNCS 575.
4. T. Bolognesi, E. Brinksma, Introduction to the ISO Specification Language Lotos, Computer Networks and ISDN Systems, Vol. 14, No. 1, 1987, pp. 25–59.
5. T. Bolognesi, A Graphical Composition Theorem for Networks of Lotos Processes, Proceedings of Distributed Computing Systems, Paris, May–June 1990, pp. 88–95.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献