Suchergebnisse

5th Asian Computing Science Conference, Phuket, Thailand, December 1999. P. S. Thiagarajan ... (ed.)

RV 2008, Budapest, Hungary, March 30, 2008. Martin Leucker (ed.)

5th International AMAST Workshop, ARTS '99, Bamberg, Germany, May 1999. J.-P. Katoen (ed.)

FORMATS 2008, Saint Malo, France, September 15 - 17, 2008. Franck Cassez ... (eds.)

FORMATS 2007, Salzburg, Austria, October 3 - 5, 2007. Jean-François Raskin ... (eds.)

First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15 - 16, 2006. Klaus Havelund ... (ed.)

FTRTFT 2002 ..., Oldenburg, Germany, September 9 - 12, 2002. W. Damm ... (ed.)

FTRTFT 2000, Pune, India, September 20 - 22, 2000. M. Joseph (ed.)

edited by P. S. Thiagarajan, Roland Yap

edited by Jean-François Raskin, P. S. Thiagarajan

Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004, and Formal Techniques in Real Time and Fault Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22 - 24, 2004. Yassine Lakhnech ... (eds.)

edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Franck Cassez, Claude Jard

edited by Anders P. Ravn, Hans Rischel

edited by Mathai Joseph

edited by Kim Guldstrand Larsen, Peter Niebert

edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Martin Leucker

edited by Werner Damm, Ernst -Rüdiger Olderog

edited by Joost-Pieter Katoen

edited by Víctor Braberman, Laurent Fribourg

edited by Cliff B. Jones, Zhiming Liu, Jim Woodcock