Author of the publication

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

A temporal reachability analysis., and . PSTV, volume 38 of IFIP Conference Proceedings, page 35-49. Chapman & Hall, (1995)Coordination Algorithm for Distributed Testing., and . J. Supercomput., 24 (2): 203-211 (2003)Temporal validation of multimedia protocols., and . Ann. des Télécommunications, 55 (1-2): 31-44 (2000)Principles and Tools for Testing Open Distributed Systems., , , and . IWTCS, volume 147 of IFIP Conference Proceedings, page 77-92. Kluwer, (1999)Validation of protocols with temporal constraints., and . Comput. Commun., 19 (14): 1188-1199 (1996)On improving reduced reachability analysis., and . FORTE, volume C-10 of IFIP Transactions, page 137-152. North-Holland, (1992)A Riemann-Hurwitz Formula for Hypermaps Congruences.. Eur. J. Comb., 10 (5): 419-425 (1989)Controllability and observability in distributed testing., and . Inf. Softw. Technol., 41 (11-12): 767-780 (1999)Coordination Issues in Distributed Testing., , and . PDPTA, page 793-799. CSREA Press, (1999)Decidability issues in reduced reachability analysis., and . ICNP, page 158-165. IEEE Computer Society, (1993)