Author of the publication

Towards a Meaning of LIFE.

, and . PLILP, volume 528 of Lecture Notes in Computer Science, page 255-274. Springer, (1991)long version: JLP 16(3&4): 195-234.

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 Geometrical View of the Determinization and Minimization of Finite-State Automata., , and . Math. Syst. Theory, 24 (2): 117-146 (1991)Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs., , and . ESOP, volume 1576 of Lecture Notes in Computer Science, page 177-192. Springer, (1999)A Detailed Algorithm Testing Guards over Feature Trees., and . Constraint Processing, Selected Papers, volume 923 of Lecture Notes in Computer Science, page 11-38. Springer, (1995)Black-Box Verification for GUI Applications, , , and . CoRR, (2012)Towards a Meaning of LIFE., and . PLILP, volume 528 of Lecture Notes in Computer Science, page 255-274. Springer, (1991)long version: JLP 16(3&4): 195-234.Verification of Cryptographic Protocols: Tagging Enforces Termination., and . FoSSaCS, volume 2620 of Lecture Notes in Computer Science, page 136-152. Springer, (2003)Ultimate Automizer and the CommuHash Normal Form - (Competition Contribution)., , , , , , , , , and . TACAS (2), volume 13994 of Lecture Notes in Computer Science, page 577-581. Springer, (2023)Ultimate Taipan and Race Detection in Ultimate - (Competition Contribution)., , , , and . TACAS (2), volume 13994 of Lecture Notes in Computer Science, page 582-587. Springer, (2023)Constraint-Based Analysis of Broadcast Protocols., , and . CSL, volume 1683 of Lecture Notes in Computer Science, page 50-66. Springer, (1999)Reducing Quasi-Equal Clocks in Networks of Timed Automata., , , , and . FORMATS, volume 7595 of Lecture Notes in Computer Science, page 155-170. Springer, (2012)