Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Damm, Werner, 1950-, Olderog, E.-R.
Springer
|
Jonsson, Jonsson, Bengt, Parrow, Joachim
Springer Berlin Heidelberg
|
FTRTFT 2000, Joseph, M.
Springer Berlin Heidelberg
|
FORMATS 2004, Lakhnech, Yassine, Yovine, Sergio
Springer Berlin / Heidelberg
|
FTRTFT '98, Ravn, Anders P., Rischel, Hans
Springer Berlin Heidelberg
|
FORMATS, Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Lakhnech, Yassine, Yovine, Sergio
Springer
|
Joseph
Springer Berlin Heidelberg
|
Ernst-Rüdiger Olderog, Olderog, E.-R, Steffen, Bernhard
Springer Berlin Heidelberg
|
Vytopil, Vytopil, Jan
Springer Berlin Heidelberg
|
International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, Katoen, Joost-Pieter
Springer Berlin Heidelberg
|
Langmaack
Springer Berlin Heidelberg
|
International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bernardo, Marco, …
Springer Berlin / Heidelberg
|