Specification and implementation of an ISDN telephone system using LOTOS
Authors:
Patrik Ernberg;Thomas Hovander;Francisco Monfort
Affiliations:
-;-;-
Venue:
FORTE '92 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, V