Author of the publication

Covering Step Graph.

, , and . Application and Theory of Petri Nets, volume 1091 of Lecture Notes in Computer Science, page 516-535. Springer, (1996)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Testability of a Communicating System Through an Environment., , , and . TAPSOFT, volume 668 of Lecture Notes in Computer Science, page 529-543. Springer, (1993)A Bus Instrumentation Protocol Specified in LOTOS., , and . FORTE, page 263-269. North-Holland, (1990)The Design and Validation by Petri Nets of a Mechanism for the Invocation of Remote Servers., , and . IFIP Congress, page 599-604. (1980)Refusal Graphs for Conformance Tester Generation and Simplification: A Computational Framework., , and . PSTV, volume C-16 of IFIP Transactions, page 257-272. North-Holland, (1993)Spécification Logique de Protocoles de Communication à l'aide de Réseaux Prédicat/Transition Etiquetés., , and . SPLT, page 187-212. (1989)High Level Transition Systems for Communicating Agents., and . Concurrent Object-Oriented Programming and Petri Nets, volume 2001 of Lecture Notes in Computer Science, page 473-492. Springer, (2001)Petri nets as a common tool for design verification and hardware simulation., , and . DAC, page 109-116. ACM, (1976)On a Prolog Environment for Protocol Analysis., , and . ICDCS, page 444-451. IEEE Computer Society, (1986)Specification and Verification of Distributed Systems Using PROLOG Interpreded Petri Nets., , , and . ICSE, page 510-519. IEEE Computer Society, (1984)Layered -net Specification of a Workshop., , and . PDPTA, page 2808-2814. CSREA Press, (1999)