1
Formal Methods [E-Book] : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings /
Other Personal Name(s): “...Katoen, Joost-Pieter...”

Full text 
Favorites
Saved in:
2
Foundations of probabilistic programming [E-Book] /
Other Personal Name(s): “...Katoen, Joost-Pieter...”

Full text 
Favorites
Saved in:
3
CONCUR 2011 – Concurrency Theory [E-Book] : 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings /
Other Personal Name(s): “...Katoen, Joost-Pieter....”

Full text 
Favorites
Saved in:
4
Principles of model checking [E-Book] /
Other Personal Name(s): “...Katoen, Joost-Pieter...”

Full text 
Favorites
Saved in:
5
Model-Based Testing of Reactive Systems [E-Book] / Advanced Lectures
Other Personal Name(s): “...Katoen, Joost-Pieter...”

Full text 
Favorites
Saved in:
6
Validation of Stochastic Systems : A Guide to Current Research [E-Book] /
Other Personal Name(s): “...Katoen, Joost-Pieter...”

Full text 
Favorites
Saved in:
7
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 8th International Conference, TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings /
Other Personal Name(s): “...Katoen, Joost-Pieter....”

Full text 
Favorites
Saved in:
8
Lectures on Formal Methods and PerformanceAnalysis [E-Book] : First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures /
Other Personal Name(s): “...Katoen, Joost-Pieter....”

Full text 
Favorites
Saved in:
9
Formal Methods for Real-Time and Probabilistic Systems [E-Book] : 5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings /
Other Personal Name(s): “...Katoen, Joost-Pieter....”

Full text 
Favorites
Saved in:

Narrow Search Results