FORMATS, Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Lakhnech, Yassine, Yovine, Sergio
Springer
|
International Conference on Graph Transformation, Ehrig, Hartmut, Engels, Gregor, Parisi-Presicce, Francesco, Rozenberg, …
Springer
|
Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Jonsson, Bengt, 1957-, Parrow, Joachim, 1956-
Springer
|
TACAS, Margaria, Tiziana, Yi, Wang, European Conferences on Theory and Practice of Software
Springer
|
FORMATS, Raskin, Jean-François, 1972-, Thiagarajan, P. S.
Springer
|
International Conference COORDINATION, Ciancarini, Paolo, 1959-, Wolf, Alexander (Alexander L.)
Springer
|
International Conference on Rewriting Techniques and Applications, Baader, Franz
Springer
|
International Rotifer Symposium, Pejler, B. (Birger), Starkweather, P. (Peter), Nogrady, Th.
W. Junk
|
International Conference on Algebraic Methodology and Software Technology, Katoen, Joost-Pieter
Springer
|
PorTAL, Ranchhod, Elisabete, 1948-, Mamede, Nuno J. (Nuno João)
Springer
|
SAS, Giacobazzi, Roberto
Springer
|
International Conference on Integrated Formal Methods, Davies, Jim, 1964-, Gibbons, Jeremy
Springer
|