Вы здесь

Kindler E.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Arc-Typed Petri Nets 1996 Kindler E., Walter R. Lecture Notes in Computer Science 01.08.1996
СТ Causality Based Proof of a Distributed Shared Memory System 1993 Gomm D., Kindler E. Lecture Notes in Computer Science 05.11.1993
СТ Component Tools: Integrating Petri Nets with Other Formal Methods 2006 Kindler E., Rubin V., Wagner R. Lecture Notes in Computer Science Lecture Notes in Computer Science 31.08.2006
СТ Compositional Liveness Properties of EN-Systems 1993 Gomm D., Kindler E., Paech B., Walter R. Lecture Notes in Computer Science 21.08.1993
СТ ESTL: A Temporal Logic for Events and States 1998 Kindler E., Vesper T. Lecture Notes in Computer Science 04.07.1998
СТ Flexibility in Algebraic Nets 1998 Kindler E., Volzer H. Lecture Notes in Computer Science 04.07.1998
СТ SIMULA and Super-Object-Oriented Programming 2004 Kindler E. Lecture Notes in Computer Science 27.04.2004
СТ Safety and Liveness Properties: A Survey 1994 Kindler E. EATCS Bull. 27.07.1994
СТ Serializability, Concurrency Control, and Replication Control 2000 Kindler E. Lecture Notes in Computer Science 08.04.2000
СТ The Petri Net Markup Language: Concepts, Technology, and Tools 2003 Billington J., Christensen S., Van Hee K., Kindler E., Kummer O., Petrucci L., Post R., Stehno C., Weber M. Lecture Notes in Computer Science 23.07.2003
СТ Verification of Distributed Algorithms with Algebraic Petri Nets 1997 Kindler E., Reisig W. Lecture Notes in Computer Science 28.11.1997