Author:
Basagiannis Stylianos,Katsaros Panagiotis
Publisher
Springer International Publishing
Reference20 articles.
1. Apt, K.R., Francez, N., de Roever, W.P.: A proof system for communicating sequential processes. ACM Trans. Program. Lang. Syst. 2(3), 359–385 (1980)
2. Arozarena, P., et al.: Madeira: A peer-to-peer approach to network management. In: Proceedings of the Wireless World Research Forum (2006)
3. Basagiannis, S., Katsaros, P., Pombortsis, A.: Interlocking control by distributed signal boxes: Design and verification with the spin model checker. In: Parallel and Distributed Processing and Applications, pp. 317–328 (2006)
4. Lecture Notes in Computer Science;S Campos,1997
5. Cimatti, A., Giunchiglia, F., Mongardi, G., Romano, D., Torielli, F., Traverso, P.: Formal verification of a railway interlocking system using model checking. Formal Aspects of Comput. 10(4), 361–380 (1998)