search result

Cover von Automata Learning and Galois Connections (Invited Talk)

Automata Learning and Galois Connections (Invited Talk)

Year: 2019
Media group: LIPIcs
Cover von Lectures on embedded systems
European educational forum : school on embedded systems : Veldhoven, the Netherlands, November 25 - 29, 1996
Search for this author
Year: 1998
Publisher: Berlin, Springer
Series: Lecture notes in computer science : tutorial; 1494
Media group: MONOGRAPHIE
Cover von Action Codes

Action Codes

Year: 2023
Media group: LIPIcs
Cover von A note on fairness in I/O automata; 5
article : S. 245-250
Search for this author
Year: 1996
Publisher: Amsterdam, North-Holland
Count: 5
Media group: ARTICLE
Cover von Hybrid systems
computation and control : second international workshop : Berg en Dal, the Netherlands, March 29 - 31, 1999 . proceedings
Search for this author
Year: 1999
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1569
Media group: MONOGRAPHIE
Cover von Expressiveness in concurrency
16.09. - 20.09.96 (9638)
Search for this author
Year: 1997
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 156
Media group: DAGSTUHL-SEMINAR-REP
Cover von Formal Modeling and Analysis of Timed Systems
7th International Conference, Budapest, Hungary, September 14 - 16, 2009, Proceedings
Search for this author
Year: 2009
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 5813
Media group: MONOGRAPHIE
Cover von The theory of timed I/O automata
Search for this author
Year: 2006
Publisher: San Rafael, Morgan & Claypool Publishers
Series: Synthesis lectures on computer science; 1
Media group: MONOGRAPHIE
Cover von A Journey from Process Algebra via Timed Automata to Model Learning
Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday
Search for this author
Year: 2022
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : Festschrift; 13560
Media group: MONOGRAPHIE
OPEN V 11.1.0.0