Author of the publication

Model Checking Partial State Spaces with 3-Valued Temporal Logics.

, and . CAV, volume 1633 of Lecture Notes in Computer Science, page 274-287. Springer, (1999)

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

Model Checking with Multi-valued Logics., and . ICALP, volume 3142 of Lecture Notes in Computer Science, page 281-293. Springer, (2004)Model Checking and Fault Tolerance., and . AMAST, volume 1349 of Lecture Notes in Computer Science, page 45-59. Springer, (1997)Mawl: A Domain-Specific Language for Form-Based Services., , , and . IEEE Trans. Software Eng., 25 (3): 334-346 (1999)Understanding Quota Dynamics in Wireless Networks., , , and . ACM Trans. Internet Techn., 14 (2-3): 14:1-14:17 (2014)Neural Memory Decoding with EEG Data and Representation Learning., , and . CoRR, (2023)A Hierarchical Approach to Service Negotiation., and . ICWS, page 460-467. IEEE Computer Society, (2011)Features as Service Transformations., , and . FIW, page 85-97. IOS Press, (1998)Foundations for Features.. FIW, page 3-11. IOS Press, (2005)A Case Study in Safety-Critical Design.. CAV, volume 663 of Lecture Notes in Computer Science, page 220-233. Springer, (1992)Generalized Model Checking: Reasoning about Partial State Spaces., and . CONCUR, volume 1877 of Lecture Notes in Computer Science, page 168-182. Springer, (2000)