search result

Cover von Applications of tree automata in rewriting, logic and programming
20.10. - 24.10.97 (9743)
Search for this author
Year: 1997
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 193
Media group: DAGSTUHL-SEMINAR-REP
Cover von Modeling, Analysis, and Verification; 1
The Formal Methods Manifesto 2010 : pp. 21-40
Search for this author
Year: 2011
Publisher: Wadern, LZI
Dagstuhl Manifestos
Count: 1
Media group: DAGSTUHL-MANIFESTOS
Cover von Dagstuhl Manifesto : Formal Methods - just a Euroscience?; 4
pp. 413-414
Search for this author
Year: 2011
Publisher: Berlin, Springer
Informatik Spektrum
Count: 4
Media group: ARTICLE
Cover von Temporal Synthesis for Bounded Systems and Environments

Temporal Synthesis for Bounded Systems and Environments

Year: 2011
Media group: ARTICLE
Cover von Algorithmic-logical theory of infinite structures
Search for this author
Year: 2007
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl Seminar Proceedings; 07441
Media group: DAGSTUHL-SEMINAR-PRO
Cover von Finite model theory, databases, and computer-aided verification
03.10.1999 - 08.10.1999 (99401)
Search for this author
Year: 1999
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 253
Media group: DAGSTUHL-SEMINAR-REP
OPEN V 11.1.0.0