( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verics: A Tool for Verifying Timed Automata and Estelle Specifications.

, , , , , , , и . TACAS, том 2619 из Lecture Notes in Computer Science, стр. 278-283. Springer, (2003)

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.

Andrzej Piotrowski

Andrzej Debski

Andrzej Lingas

Andrzej Tomczyk

Andrzej Szczerbakow

 

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

Towards Bounded Model Checking for the Universal Fragment of TCTL., , и . FTRTFT, том 2469 из Lecture Notes in Computer Science, стр. 265-290. Springer, (2002)SAT-Based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems., и . DALT, том 7784 из Lecture Notes in Computer Science, стр. 170-189. Springer, (2012)Modelling the Affective Power of Locutions in a Persuasive Dialogue Game., , и . ICAISC (2), том 10842 из Lecture Notes in Computer Science, стр. 557-569. Springer, (2018)A Novel Description Language for Two-Agent Dialogue Games., , и . IJCRS (2), том 10314 из Lecture Notes in Computer Science, стр. 466-486. Springer, (2017)Simple SMT-Based Bounded Model Checking for Timed Interpreted Systems., и . IJCRS (2), том 10314 из Lecture Notes in Computer Science, стр. 487-504. Springer, (2017)Checking WELTLK Properties of Weighted Interpreted Systems via SMT-Based Bounded Model Checking., и . PRIMA, том 9387 из Lecture Notes in Computer Science, стр. 660-669. Springer, (2015)The hilbert type axiomatization of some three-valued propositional logic.. Math. Log. Q., 36 (5): 415-421 (1990)SAT-Based Verification of Security Protocols Via Translation to Networks of Automata., , и . MoChArt, том 4428 из Lecture Notes in Computer Science, стр. 146-165. Springer, (2006)Verifying Real-Time Properties of Multi-agent Systems via SMT-Based Bounded Model Checking., и . PRIMA, том 9862 из Lecture Notes in Computer Science, стр. 149-167. Springer, (2016)On Boolean Encodings of Transition Relation for Parallel Compositions of Transition Systems.. CS&P, том 1032 из CEUR Workshop Proceedings, стр. 478-489. CEUR-WS.org, (2013)