( en | de | ru )

 

Disambiguation of "Dembinski, Piotr"

Author of the publication

copydeleteadd this publication to your clipboard
Firmware versus software verification.

, and . MICRO, page 119-127. ACM, (1978)

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.

Jörg Dembinski

Jürgen Dembinski

Rolf Dembinski

Volker Dembinski

Matthias Dembinski

 

Other publications of authors with the same name

Interfacing ASN.1 and Estelle: A Practical Approach.. FORTE, page 361-368. North-Holland, (1990)Two Level Grammars: CF-Grammars with Equation Schemes., and . ICALP, volume 71 of Lecture Notes in Computer Science, page 171-187. Springer, (1979)Verification of Timed Automata Based on Similarity., , and . Fundam. Informaticae, 51 (1-2): 59-89 (2002)Simulation of Security Protocols based on Scenarios of Attacks., , , and . Fundam. Informaticae, 93 (1-3): 185-203 (2009)Simulating Estelle Specifications with Time Parameters., and . PSTV, page 265-279. North-Holland, (1987)Attribute Grammars and Two-Level Grammars: A Unifying Approach., and . MFCS, volume 64 of Lecture Notes in Computer Science, page 143-154. Springer, (1978)Distributed and randomized enumeration.. PDP, page 62-66. IEEE Computer Society, (2000)Towards an Understanding of Complex Processes.. MFCS, volume 28 of Lecture Notes in Computer Science, page 175-185. Springer, (1974)Enumeration Protocol in Estelle: an exercise in stepwise development.. FORTE, volume 135 of IFIP Conference Proceedings, page 147-162. Kluwer, (1998)Formal Methods after 15 Years: Status and Trends (Paper based on contributions of the panelists at the FORmal TEchnique '95, Conference, Montreal, October 1995)., , , , , and . Computer Networks and ISDN Systems, 28 (13): 1845-1855 (1996)