Author of the publication

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

Automated Logical Verification Based on Trace Abstractions., , and . PODC, page 101-110. ACM, (1996)A Case Study in Verification Based on Trace Abstractions., , and . Formal Systems Specification, volume 1169 of Lecture Notes in Computer Science, page 341-373. Springer, (1994)Behavioural Equivalence for Infinite Systems - Partially Decidable!, and . Application and Theory of Petri Nets, volume 1091 of Lecture Notes in Computer Science, page 460-479. Springer, (1996)A Temporal Logic Characterisation of Observational Determinism., , and . CSFW, page 3. IEEE Computer Society, (2006)Using VDMTools to Model and Validate the Cash Dispenser Example., , and . Formal Aspects Comput., 12 (4): 216-217 (2000)A generic drift reduction technique for orientation estimation from biomechanical angular velocity., , , , , and . BSN, page 1-4. IEEE, (2023)