search result

Cover von 25 years of model checking
history, achievements, perspectives
Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Lecture notes in computer science : Festschrift; 5000
Media group: MONOGRAPHIE
Cover von On the Structure and Complexity of Rational Sets of Regular Languages

On the Structure and Complexity of Rational Sets of Regular Languages

Year: 2013
Media group: LIPIcs
Cover von Computer Aided Verification
25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13 - 19, 2013, Proceedings
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 8044
Media group: MONOGRAPHIE
Cover von Computer Science Logic
24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23 - 27, 2010, Proceedings
Search for this author
Year: 2010
Publisher: Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 6247
Media group: MONOGRAPHIE
Cover von Monadic Second Order Finite Satisfiability and Unbounded Tree-Width

Monadic Second Order Finite Satisfiability and Unbounded Tree-Width

Year: 2016
Media group: LIPIcs
Cover von Logic for programming, artificial intelligence, and reasoning
15th international conference, Doha, Qatar, November 22 - 27, 2008, proceedings
Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 5330
Media group: MONOGRAPHIE
Cover von Parameterized Systems in BIP

Parameterized Systems in BIP

Design and Model Checking
Author: Konnov, Igor
Year: 2016
Media group: LIPIcs
Cover von Handbook of Model Checking
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Media group: MONOGRAPHIE
Cover von On the Automated Verification of Web Applications with Embedded SQL

On the Automated Verification of Web Applications with Embedded SQL

Author: Itzhaky, Shachar; Kotek, Tomer
Year: 2017
Media group: LIPIcs
Cover von Decision Procedures in Soft, Hard and Bio-ware - Follow Up; 7
pp. 23-35
Search for this author
Year: 2011
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 7
Media group: DAGSTUHL REPORT
OPEN V 11.1.0.0