Graphical versus logical specifications

Authors:
G. Boudol;K. G. Larsen
Affiliations:
-;-
Venue:
CAAP '90 Proceedings of the fifteenth colloquium on CAAP'90
Year:
1990

Citing 0
Cited 2

Modal I/O automata for interface and product line theories

ESOP'07 Proceedings of the 16th European conference on Programming
Modal process rewrite systems

ICTAC'12 Proceedings of the 9th international conference on Theoretical Aspects of Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract