search result

Cover von Principles of Cyber-Physical Systems
Author: Alur, Rajeev Search for this author
Year: 2015
Publisher: Cambridge, MIT Press
Media group: MONOGRAPHIE
Cover von Expressiveness of streaming string transducers

Expressiveness of streaming string transducers

Year: 2010
Media group: ARTICLE
Cover von Computer aided verification
16th international conference, Boston, MA, USA, July 13 - 17, 2004 : proceedings
Search for this author
Year: 2004
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 3114
Media group: MONOGRAPHIE
Cover von Hybrid systems
computation and control : 7th international workshop, Philadelphia, PA, USA, March 25 - 27, 2004 : proceedings
Search for this author
Year: 2004
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 2993
Media group: MONOGRAPHIE
Cover von Embedded software
third international conference, Philadelphia, PA, USA, October 13 - 15, 2003 : proceedings
Search for this author
Year: 2003
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 2855
Media group: MONOGRAPHIE
Cover von Special issue on the first federated logic conference, part I
Search for this author
Year: 1999
Publisher: Boston, Kluwer
Series: Formal methods in system design : 14. 1999, 3
Media group: SPECIAL ISSUE
Cover von Computer aided verification
8th international conference : New Brunswick, NJ, USA, July 31 - August 3, 1996 : proceedings
Search for this author
Year: 1996
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1102
Media group: MONOGRAPHIE
Cover von Automata-Based Stream Processing

Automata-Based Stream Processing

Year: 2017
Media group: LIPIcs
Cover von Hedging Bets in Markov Decision Processes

Hedging Bets in Markov Decision Processes

Year: 2016
Media group: LIPIcs
Cover von FLOC 96; 2
special issue section : S. 233 - 371
Search for this author
Year: 2001
Publisher: San Diego, Academic Press
Count: 2
Media group: SPECIAL ISSUE
OPEN V 11.1.0.0