search result

Cover von Special issue on hybrid systems
Search for this author
Year: 1995
Publisher: Amsterdam, Elsevier
Series: Theoretical computer science : 138. 1995, 1
Media group: SPECIAL ISSUE
Cover von Temporal verification of reactive systems
safety
Author: Manna, Zohar; Pnueli, Amir Search for this author
Year: 1995
Publisher: New York, Springer
Media group: MONOGRAPHIE
Cover von The temporal logic of reactive and concurrent systems
specification
Author: Manna, Zohar; Pnueli, Amir Search for this author
Year: 1992
Publisher: New York, Springer
Media group: MONOGRAPHIE
Cover von Hybrid systems
computation and control : 6th international workshop, Prague, Czech Republic, April 3 - 5, 2003, proceedings
Search for this author
Year: 2003
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 2623
Media group: MONOGRAPHIE
Cover von Temporal logic in specification
Altrincham, UK, April 8 - 10, 1987 : proceedings
Search for this author
Year: 1989
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 398
Media group: MONOGRAPHIE
Cover von Time for Verification
Essays in Memory of Amir Pnueli
Search for this author
Year: 2010
Publisher: Berlin, Springer
Series: Lecture notes in computer science : Festschrift; 6200
Media group: MONOGRAPHIE
Cover von Specification of distributed information systems
20.02. - 25.02.00, Seminar Nr. 00081
Search for this author
Year: 2000
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 266
Media group: DAGSTUHL-SEMINAR-REP
Cover von Compositionality
the significant difference : international symposium : Bad Malente, Germany, September 8 - 12, 1997 : revised lectures
Search for this author
Year: 1998
Publisher: Berlin, Springer
Series: Lecture notes in computer science : state-of-art survey; 1536
Media group: MONOGRAPHIE
Cover von Synchronous languages
28.11. - 02.12.94 (9448)
Search for this author
Year: 1996
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 104
Media group: DAGSTUHL-SEMINAR-REP
Cover von Perspectives of Systems Informatics
7th International Andrei Ershov Memorial Conference : Novosibirsk, Russia, June 15 - 19, 2009, Revised Papers
Search for this author
Year: 2010
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 5947
Media group: MONOGRAPHIE
OPEN V 11.1.0.0