Paola Inverardi, Corrado Priami, Daniel Yankelevich. Extended Transition Systems for Parametric Bisimulation. In Andrzej Lingas, Rolf G. Karlsson, Svante Carlsson, editors, Automata, Languages and Programming, 20nd International Colloquium, ICALP93, Lund, Sweden, July 5-9, 1993, Proceedings. Volume 700 of Lecture Notes in Computer Science, pages 558-569, Springer, 1993.
No references recorded for this publication.
No citations of this publication recorded.