( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The MathSAT 3 System.

, , , , , , и . CADE, том 3632 из Lecture Notes in Computer Science, стр. 315-321. 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.

Johannes Marcour

Hans-Ernst Marcolin

Monika Marcotty

Carlos Javier Marcos Navas

Massimiliano Marcon

 

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

Model Checking Linear Logic Specifications, , и . CoRR, (2003)Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems., и . SAFECOMP, том 4166 из Lecture Notes in Computer Science, стр. 127-141. Springer, (2006)Beyond Parameterized Verification., и . TACAS, том 2280 из Lecture Notes in Computer Science, стр. 221-235. Springer, (2002)An Effective Bottom-Up Semantics for First-Order Linear Logic Programs., , и . FLOPS, том 2024 из Lecture Notes in Computer Science, стр. 138-152. Springer, (2001)Symbolic Fault Tree Analysis for Reactive Systems., , и . ATVA, том 4762 из Lecture Notes in Computer Science, стр. 162-176. Springer, (2007)An Integrated Process for FDIR Design in Aerospace., , , , , , и . IMBSA, том 8822 из Lecture Notes in Computer Science, стр. 82-95. Springer, (2014)Spacecraft early design validation using formal methods., , , , , , , , и . Reliab. Eng. Syst. Saf., (2014)Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols., и . J. Symb. Comput., 38 (5): 1375-1415 (2004)Symbolic Synthesis of Observability Requirements for Diagnosability., , , и . AAAI, стр. 712-718. AAAI Press, (2012)COMPASTA: Extending TASTE with Formal Design and Verification Functionality., , , , , , , и . IMBSA, том 13525 из Lecture Notes in Computer Science, стр. 21-27. Springer, (2022)