( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
UPPAAL - present and future.

, , , , , и . CDC, стр. 2881-2886. IEEE, (2001)

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 Behrmann

Thomas Behrmann

Karin Behrmann

Peter Behrmann

Malte Behrmann

 

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

As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata., , , , , , и . CAV, том 2102 из Lecture Notes in Computer Science, стр. 493-505. Springer, (2001)Verification of Hierarchical State/Event Systems Using Reusability and Compositionality., , , , и . TACAS, том 1579 из Lecture Notes in Computer Science, стр. 163-177. Springer, (1999)Distributing Timed Model Checking - How the Search Order Matters., , и . CAV, том 1855 из Lecture Notes in Computer Science, стр. 216-231. Springer, (2000)Storage for Advanced Scientific Use-Cases and Beyond., , , , , , , , , и . PDP, стр. 651-657. IEEE Computer Society, (2018)Building and Operating a Distributed Regional Centre for LHC Computing and Data Storage., , , , , , , и . eScience, стр. 181-188. IEEE Computer Society, (2011)Tools for Model-Checking Timed Systems., , , , , , , , , и 5 other автор(ы). Communicating Embedded Systems, Wiley, (2013)Priced Timed Automata: Algorithms and Applications., , и . FMCO, том 3657 из Lecture Notes in Computer Science, стр. 162-182. Springer, (2004)Complexity in Simplicity: Flexible Agent-Based State Space Exploration., , и . TACAS, том 4424 из Lecture Notes in Computer Science, стр. 231-245. Springer, (2007)To Store or Not to Store., , и . CAV, том 2725 из Lecture Notes in Computer Science, стр. 433-445. Springer, (2003)Practical Verification of Embedded Software., , , , , , , , , и . Computer, 33 (5): 68-75 (2000)