On the soundness of graphical representations of interconnected processes in LOTOS
Bolognesi, TommasoVolume:
15
Language:
english
Journal:
ACM SIGSOFT Software Engineering Notes
DOI:
10.1145/99571.99574
Date:
September, 1990
File:
PDF, 614 KB
english, 1990