Search All Publications
Conference Proceedings
-
Jens Grabowski, Brian NielsenFormal Approaches to Software Testing. 4th International Workshop, FATES 2004, Linz, Austria, September 2004, Revised Selected Papers, Springer, Heidelberg, 2005
-
Jens Grabowski, Stefan HeymerFormale Beschreibungstechniken fuer verteilte Systeme (FBT2000), 10. GI/TG-Fachgespraech, Shaker Verlag, Aachen, 2000
2025 © Software Engineering For Distributed Systems Group