Acte de conférence, colloque et atelier

Confirming Configurations in EFSM

Petrenko, A., Boroday, S. and Groz, R. "Confirming Configurations in EFSM" in Formal Methods for Protocol Engineering and Distributed Systems : FORTE XII/ PSTV XIX : IFIP TC6 WG6. Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, (FORTE/PSTV'99), pp. 5-24. Beijing, China