Home Advanced Search
Advanced Search - Page 1
Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
- English
- Year: 2019
- Author: Étienne André, Mariëlle Stoelinga
Fundamental approaches to software engineering : 24th International Conference, FASE 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27-April 1, 2021, Proceedings
- English
- Year: 2021
- Author: Mariëlle Stoelinga (editor); Esther Guerra (editor)
A Journey from Process Algebra via Timed Automata to Model Learning. Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday
- English
- Year: 2022
- Author: Nils Jansen, Mariëlle Stoelinga, Petra van den Bos
A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday
- English
- Year: 2022
- Author: Nils Jansen, Mariëlle Stoelinga, Petra Van Den Bos
Memory Politics in Contemporary Russia: Television, Cinema and the State
- English
- Year: 2018
- Author: Mariëlle Wijermars
Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
- English
- Year: 2013
- Author: Gilles Barthe (auth.), Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D’Argenio (eds.)