Skip to contents

Boer, Frank S. de [Other]; Bonsangue, Marcello M. [Other]; Graf, Susanne [Other]; Roever, Willem Paul de [Other]; Boer, Frank S. de [Editor] ; FMCO 5 2006 Amsterdam

Formal methods for components and objects : 5th international symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10, 2006 ; revised lectures

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2007

Published in: Lecture notes in computer science ; 4709
Boer, Frank S. de [Editor] ; FMCO 8 2009 Eindhoven

Formal methods for components and objects : 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009 ; revised selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2010

Published in: Lecture notes in computer science ; 6286
Boer, Frank S. de [Editor]; Bonsangue, Marcello M. [Editor]; Graf, Susanne [Editor]; Roever, Willem-Paul de [Editor] ; FMCO 6 2007 Amsterdam

Formal methods for components and objects : 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-27, 2007 ; revised papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2008

Published in: Lecture notes in computer science ; 5382
Boer, Frank S. de [Editor]; Bonsangue, Marcello M. [Other]; Madelaine, Eric [Other] ; FMCO 7 2008 Sophia Antipolis

Formal methods for components and objects : 7th international symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 ; revised lectures

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2009

Published in: Lecture notes in computer science ; 5751
Boer, Frank S. de [Editor] ; FMCO 4 2005 Amsterdam

Formal methods for components and objects : 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1 - 4, 2005 ; revised lectures

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2006

Published in: Lecture notes in computer science ; 4111
Boer, Frank S. de [Editor] ; FMCO 3 2004 Leiden

Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004 ; revised lectures

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2005

Published in: Lecture notes in computer science ; 3657
Boer, Frank S. de [Editor] ; FMCO 2 2003 Leiden

Formal methods for components and objects : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4 - 7, 2003; Revised Lectures

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2004

Published in: Lecture notes in computer science ; 3188
Boer, Frank S. de [Editor]; Roever, Willem-Paul de [Other] ; FMCO 1 2002 Leiden

Formal methods for components and objects : first international symposium, Leiden, The Netherlands, November 5 - 8, 2002 ; revised lectures

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2003

Published in: Lecture notes in computer science ; 2852
Aichernig, Bernhard K. [Editor]; Boer, Frank S. de [Other]; Bonsangue, Marcello M. [Other] ; FMCO 9 2010 Graz

Formal methods for components and objects : 9th international symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 ; revised papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2011

Published in: Lecture notes in computer science ; 6957
Hung, Dang Van [Editor]; Wirsing, Martin [Other] ; ICTAC 2 2005 Hanoi

Theoretical aspects of computing - ICTAC 2005 : second international colloquium, Hanoi, Vietnam, October 17 - 21, 2005 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2005

Published in: Lecture notes in computer science ; 3722
Giachino, Elena [Author] ; Hähnle, Reiner [Editor]; Boer, Frank S. [Editor]; Bonsangue, Marcello M. [Editor]

Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer, 2013

Published in: Lecture notes in computer science ; 7866
Boer, Frank S. de [Author] ; Bonsangue, Marcello M. [Other]; de Roever, Willem-Paul [Other]; Graf, Susanne [Other]

Formal Methods for Components and Objects : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2004

Published in: Lecture notes in computer science ; 3188
Beckert, Bernhard [Author] ; Damiani, Ferruccio [Other]; Boer, Frank S. [Other]; Bonsangue, Marcello M. [Other]

Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer, 2013

Published in: Lecture notes in computer science ; 7542
Boer, Frank S. [Author] ; Bonsangue, Marcello M. [Other]; Hallerstede, Stefan [Other]; Leuschel, Michael [Other]

Formal Methods for Components and Objects : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2010

Published in: Lecture notes in computer science ; 6286
Boer, Frank S. [Other]; Bonsangue, Marcello M. [Other]; Madelaine, Eric [Other]

Formal Methods for Components and Objects : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

Published in: Lecture notes in computer science ; 5751
Boer, Frank S. [Other]; Bonsangue, Marcello M. [Other]; Graf, Susanne [Other]; Roever, Willem-Paul [Other]

Formal Methods for Components and Objects : 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2007

Published in: Lecture notes in computer science ; 4709
Bonsangue, Marcello M. [Other]; de Boer, Frank S. [Other]; de Roever, Willem-Paul [Other]; Graf, Susanne [Other]

Formal Methods for Components and Objects (vol. # 3657) : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

Published in: Lecture notes in computer science ; 3657
Boer, Frank S.de [Author] ; Bonsangue, Marcello [Other]; de Roever, Willem-Paul [Other]; Graf, Susanne [Other]

Formal Methods for Components and Objects : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2003

Published in: Lecture notes in computer science ; 2852
Hutchison, David [Other]; Naor, Moni [Other]; Nierstrasz, Oscar [Other]; Pandu Rangan, C. [Other]; Roever, Willem-Paul [Other]; Steffen, Bernhard [Other]; Sudan, Madhu [Other]; Terzopoulos, Demetri [Other]; Tygar, Doug [Other]; Vardi, Moshe Y. [Other]; Weikum, Gerhard [Other]; Boer, Frank S. [Other]; Bonsangue, Marcello M. [Other]; Graf, Susanne [Other]; Kanade, Takeo [Other]; Kittler, Josef [Other]; Kleinberg, Jon [Other]; Mattern, Friedemann [Other]; Mitchell, John C. [Other]

Formal Methods for Components and Objects : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2008

Published in: Lecture notes in computer science ; 5382
Aichernig, Bernhard K. [Author] ; Boer, Frank S. [Other]; Bonsangue, Marcello M. [Other]

Formal Methods for Components and Objects : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2012

Published in: Lecture notes in computer science ; 6957

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication