From post

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.

 

Другие публикации лиц с тем же именем

A temporal reachability analysis., и . PSTV, том 38 из IFIP Conference Proceedings, стр. 35-49. Chapman & Hall, (1995)Temporal validation of multimedia protocols., и . Ann. des Télécommunications, 55 (1-2): 31-44 (2000)Coordination Algorithm for Distributed Testing., и . J. Supercomput., 24 (2): 203-211 (2003)Validation of protocols with temporal constraints., и . Comput. Commun., 19 (14): 1188-1199 (1996)Principles and Tools for Testing Open Distributed Systems., , , и . IWTCS, том 147 из IFIP Conference Proceedings, стр. 77-92. Kluwer, (1999)On improving reduced reachability analysis., и . FORTE, том C-10 из IFIP Transactions, стр. 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., и . Inf. Softw. Technol., 41 (11-12): 767-780 (1999)Coordination Issues in Distributed Testing., , и . PDPTA, стр. 793-799. CSREA Press, (1999)Decidability issues in reduced reachability analysis., и . ICNP, стр. 158-165. IEEE Computer Society, (1993)