( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
An interleaving model for real-time.

, , и . Jerusalem Conference on Information Technology, стр. 717-730. IEEE Computer Society, (1990)

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

 

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

PROOF-PAD: An Interactive Proof Generating System Using Natural Deduction., и . ÖGAI, том 106 из Informatik-Fachberichte, стр. 173-184. Springer, (1985)Optimizing Solution Quality in Synchronization Synthesis., , , , , , и . CoRR, (2015)Algorithms for Büchi Games, , и . CoRR, (2008)Expressiveness and Closure Properties for Quantitative Languages, , и . Logical Methods in Computer Science, (2010)Qualitative concurrent parity games., , и . ACM Trans. Comput. Log., 12 (4): 28:1-28:51 (2011)Quantitative languages., , и . ACM Trans. Comput. Log., 11 (4): 23:1-23:38 (2010)The quest for average response time.. MEMOCODE, стр. 4. ACM, (2017)A typed assembly language for real-time programs., и . EMSOFT, стр. 104-113. ACM, (2004)Model Checking Game Properties of Multi-agent Systems (Abstract).. ICALP, том 1443 из Lecture Notes in Computer Science, стр. 543. Springer, (1998)Independent Implementability of Viewpoints., и . Monterey Workshop, том 7539 из Lecture Notes in Computer Science, стр. 380-395. Springer, (2012)