Author of the publication

Decidability issues in reduced reachability analysis.

, and . ICNP, page 158-165. IEEE Computer Society, (1993)

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

Description, simulation and implementation of communication protocols using PDIL., , , , and . SIGCOMM, page 112-120. ACM, (1983)On improving reduced reachability analysis., and . FORTE, volume C-10 of IFIP Transactions, page 137-152. North-Holland, (1992)Towards an environment for testing OSI protocols., , , , , and . PSTV, page 533-544. North-Holland, (1985)A temporal reachability analysis., and . PSTV, volume 38 of IFIP Conference Proceedings, page 35-49. Chapman & Hall, (1995)SDL as a Testing Language., , and . ICCC, page 502-507. International Council for Computer Communication / Elsevier, (1986)VADILOC - A Protocol Validator and Its Applications., and . Protocol Specification, Testing, and Verification, page 189-197. North-Holland, (1983)Principles and Tools for Testing Open Distributed Systems., , , and . IWTCS, volume 147 of IFIP Conference Proceedings, page 77-92. Kluwer, (1999)An Automatic System for the Study of Protocols: A Presentation and Critique Based on a Worked Example., , and . PSTV, page 111-125. North-Holland, (1984)Decidability issues in reduced reachability analysis., and . ICNP, page 158-165. IEEE Computer Society, (1993)Coordination Issues in Distributed Testing., , and . PDPTA, page 793-799. CSREA Press, (1999)