( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal Methods after 15 Years: Status and Trends (Paper based on contributions of the panelists at the FORmal TEchnique '95, Conference, Montreal, October 1995).

, , , , , и . Computer Networks and ISDN Systems, 28 (13): 1845-1855 (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.

Jörg Dembinski

Jürgen Dembinski

Rolf Dembinski

Volker Dembinski

Matthias Dembinski

 

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

Two Level Grammars: CF-Grammars with Equation Schemes., и . ICALP, том 71 из Lecture Notes in Computer Science, стр. 171-187. Springer, (1979)Interfacing ASN.1 and Estelle: A Practical Approach.. FORTE, стр. 361-368. North-Holland, (1990)Queueing network model for Estelle.. FORTE, том C-10 из IFIP Transactions, стр. 73-86. North-Holland, (1992)AND-Parallelism with Intelligent Backtracking for Annotated Logic Programs., и . SLP, стр. 29-38. IEEE-CS, (1985)Verics: A Tool for Verifying Timed Automata and Estelle Specifications., , , , , , , и . TACAS, том 2619 из Lecture Notes in Computer Science, стр. 278-283. Springer, (2003)Automated Verification of Infinite State Concurrent Systems., , и . PPAM, том 2328 из Lecture Notes in Computer Science, стр. 247-255. Springer, (2001)Simulating Estelle Specifications with Time Parameters., и . PSTV, стр. 265-279. North-Holland, (1987)Verification of Timed Automata Based on Similarity., , и . Fundam. Informaticae, 51 (1-2): 59-89 (2002)Attribute Grammars and Two-Level Grammars: A Unifying Approach., и . MFCS, том 64 из Lecture Notes in Computer Science, стр. 143-154. Springer, (1978)Distributed and randomized enumeration.. PDP, стр. 62-66. IEEE Computer Society, (2000)