Author
- SpringerLink (Online service)
- Bernardo, Marco 3 results
- International School on Formal Methods for the Design of Computer, Communication, and Software Systems Bertinoro, Italy 3 results
- Boer, Frank S. de 2 results
- IFIP Working Group 6.1 2 results
- Arbab, F. (Farhad) 1 results
- Banach, Richard 1 results
- Bjørner, D. (Dines), 1937- 1 results
- Bogliolo, Alessandro 1 results
- Bowen, J. P. (Jonathan Peter), 1956- 1 results
- Brim, Lubǒs 1 results
- Bruni, Roberto 1 results
- Cassez, Franck, 1967- 1 results
- Chaochen, Zhou 1 results
- Cuellar, Jorge 1 results
- Davies, Jim, 1964- 1 results
- Degano, Pierpaolo, 1950- 1 results
- Derrick, John, 1963- 1 results
- Dimitrakos, Theo 1 results
- Dimitrakos, Theodosis 1 results
- Donzeau-Gouge, Véronique 1 results
- Dumas, Marlon 1 results
- EPEW (Workshop) Berlin, Germany) 1 results
- EPEW Budapest, Hungary 1 results
- Ehrig, Hartmut 1 results
- FAST 2005 1 results
- FAST 2006 Hamilton, Ont 1 results
- FATES 2004 Linz, Austria 1 results
- FATES 2005 Edinburgh, Scotland 1 results
- FMCO 2006 Amsterdam, Netherlands 1 results
- FMCO 2008 Amsterdam, Netherlands 1 results
- FORMATS 2005 Uppsala, Sweden 1 results
- FORMATS 2007 Salzburg, Austria 1 results
- FORMATS 2008 Saint-Malo, France 1 results
- FORTE 2005 Taipei, Taiwan 1 results
- FORTE 2006 Paris, France 1 results
- FORTE 2008 Tokyo, Japan 1 results
- Fitzgerald, John, 1965- 1 results
- Gibbons, Jeremy, 1966- 1 results
- Grabowski, Jens 1 results
- Grieskamp, Wolfgang, 1960- 1 results
- Harman, Mark 1 results
- Hayes, Ian 1 results
- Heckel, Reiko 1 results
- Hierons, Robert M. 1 results
- Hillston, J. (Jane), 1963- 1 results
- Horváth, András 1 results
- ICFEM 2005 Manchester, England 1 results
- International Conference on Concurrency Theory 1 results
- International Conference on Formal Description Techniques Tallinn, Estonia 1 results more…