( en | de | ru )

 

Disambiguation of "Bozzano, Marco"

Author of the publication

copydeleteadd this publication to your clipboard
The MathSAT 3 System.

, , , , , , and . CADE, volume 3632 of Lecture Notes in Computer Science, page 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. You can also use the button next to the name to display some publications already assigned to the person.

Johannes Marcour

Hans-Ernst Marcolin

Carlos Javier Marcos Navas

Monika Marcotty

Massimiliano Marcon

 

Other publications of authors with the same name

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