Myungchul Kim;Byoungmoon Chin;Sungwon Kang;Danhyung Lee
-;-;-;-
Building Tools for LOTOS Symbolic Semantics in Maude
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems