Sven Kosub;Moritz G. Maaß;Hanjo Täubig
Acyclic Type-of-Relationship Problems on the Internet
2006
23

Andreas Bauer, Martin Leucker, Jonathan Streit
SALT-Structured Assertion Language for Temporal Logic
2006
16

Clemens Ballarin
Interpretation of Locales in Isabelle:\\Managing Dependencies between Locales
2006
17

Matthias Baumgart;Stefan Eckhardt;Jan Griebsch;Sven Kosub;Johannes Nowak
All-Pairs Common-Ancestor Problems in Weighted Dags
2006
17

Christian Kuehnel;Maria Spichkova
FlexRay und FTCom: Formale Spezifikation in Focus
2006
33

Olga Grinchtein, Martin Leucker, Nir Piterman
Inferring Network Invariants Automatically
2006
17

Maria Spichkova
FlexRay: Verifikation of the FOCUS Specification in Isabelle/HOL. A Case Study
2006
26

Steven Obua
Conservative Overloading in Higher-Order Logic
2006
36

Steven Obua
Partizan Games in Isabelle/HOLZF
2006
15

Manfred Broy;Andreas Rausch;Thomas Ternite;David Bettencourt da Cruz;Marco Kuhrmann
IT-Projekte erfolgreich mit dem V-Modell XT
2006
132