( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The Complexity of Stochastic Rabin and Streett Games'.

, , и . ICALP, том 3580 из Lecture Notes in Computer Science, стр. 878-890. Springer, (2005)

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.

Thomas A Vilgis

Thomas A Fischer

Thomas A Fischer

Thomas A Willging

Thomas A Schartel

 

Другие публикации лиц с тем же именем

MCWEB: A Model-Checking Tool for Web Site Debugging., , и . WWW Posters, (2001)Interface Theories for Component-Based Design., и . EMSOFT, том 2211 из Lecture Notes in Computer Science, стр. 148-165. Springer, (2001)Quantitative Generalizations of Languages.. Developments in Language Theory, том 4588 из Lecture Notes in Computer Science, стр. 20-22. Springer, (2007)Temporal Proof Methodologies for Real-time Systems., , и . POPL, стр. 353-366. ACM Press, (1991)Symbolic Model Checking for Rectangular Hybrid Systems., и . TACAS, том 1785 из Lecture Notes in Computer Science, стр. 142-156. Springer, (2000)Faster Statistical Model Checking for Unbounded Temporal Properties., , , и . TACAS, том 9636 из Lecture Notes in Computer Science, стр. 112-129. Springer, (2016)Assume-Guarantee Reasoning for Hierarchical Hybrid Systems., , и . HSCC, том 2034 из Lecture Notes in Computer Science, стр. 275-290. Springer, (2001)Controller Synthesis with Budget Constraints., , и . HSCC, том 4981 из Lecture Notes in Computer Science, стр. 72-86. Springer, (2008)Better Quality in Synthesis through Quantitative Objectives., , , и . CAV, том 5643 из Lecture Notes in Computer Science, стр. 140-156. Springer, (2009)You Assume, We Guarantee: Methodology and Case Studies., , и . CAV, том 1427 из Lecture Notes in Computer Science, стр. 440-451. Springer, (1998)