Skip to contents

Bouajjani, Ahmed [Editor]; Chin, Wei-Ngan [Other] ; ATVA 8 2010 Singapur

Automated technology for verification and analysis : 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010 ; proceedings

View online
Schließen

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 ; 6252
Chatterjee, Krishnendu [Editor]; Henzinger, Thomas A. [Other] ; FORMATS 8 2010 Klosterneuburg

Formal modeling and analysis of timed systems : 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 ; proceedings

View online
Schließen

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 ; 6246
Liu, Zhiming [Editor]; Ravn, Anders P. [Other] ; ATVA 7 2009 Macau

Automated technology for verification and analysis : 7th international symposium, ATVA 2009, Macao, China, October 14-16, 2009 ; proceedings

View online
Schließen

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 ; 5799
Fahrenberg, Uli [Editor]; Tripakis, Stavros [Other] ; FORMATS 9 2011, °Alborg Alborg

Formal modeling and analysis of timed systems : 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011 ; proceedings

View online
Schließen

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 ; 6919
Graf, Susanne [Editor]; Zhang, Wenhui [Other] ; ATVA 4 2006 Peking

Automated technology for verification and analysis : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006 ; proceedings

View online
Schließen

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 ; 4218
Namjoshi, Kedar S. [Editor]; Yoneda, Tomohiro [Other]; Higashino, Teruo [Other]; Okamura, Yoshio [Other] ; ATVA 5 2007 Tokio

Automated technology for verification and analysis : 5th international symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007 ; proceedings

View online
Schließen

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 ; 4762
Cha, Sungdeok [Editor]; Choi, Jin-Young [Other]; Kim, Moonzoo [Other]; Lee, Insup [Other]; Viswanathan, Mahesh [Other] ; ATVA 6 2008 Seoul

Automated technology for verification and analysis : 6th international symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 ; proceedings

View online
Schließen

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 ; 5311
Peled, Doron A. [Other]; Peled, Doron [Editor] ; ATVA 3 2005 Taipeh

Automated technology for verification and analysis : third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 ; proceedings

View online
Schließen

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 ; 3707
Ouaknine, Joel [Editor]; Vaandrager, Frits [Other] ; FORMATS 7 2009 Budapest

Formal modeling and analysis of timed systems : 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 ; proceedings

View online
Schließen

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 ; 5813
Raskin, Jean-François [Editor]; Raskin, Jean François [Other]; Thiagarajan, P. S. [Other] ; FORMATS 5 2007 Salzburg

Formal modeling and analysis of timed systems : 5th international conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 ; proceedings

View online
Schließen

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 ; 4763
Cassez, Franck [Editor]; Jard, Claude [Editor] ; FORMATS 6 2008 Saint-Malo

Formal modeling and analysis of timed systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15 - 17, 2008; proceedings

View online
Schließen

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 ; 5215
Bernardo, Marco [Editor]; Corradini, Flavio [Other] ; International School on Formal Methods for the Design of Computer, Communication and Software Systems 4 2004 Bertinoro

Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13 - 18, 2004 ; revised lectures

View online
Schließen

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 ; 3185
Larsen, Kim G. [Other]; Larsen, Kim Guldstrand [Editor] ; FORMATS 1 2003 Marseille

Formal modeling and analysis of timed systems : first international workshop, Marseille, France, September 6 - 7, 2003 ; revised papers

View online
Schließen

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 ; 2791
Pettersson, Paul [Editor] ; FORMATS 3 2005 Uppsala

Formal modeling and analysis of timed systems : Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26 - 28, 2005, proceedings

View online
Schließen

Close

Bookmarks

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

Berlin [u.a.]: Springer, 2005

Published in: Lecture notes in computer science ; 3829
Lakhnech, Yassine [Editor]; Yovine, Sergio [Other] ; FORMATS 2 2004 Grenoble, FTRTFT 8 2004 Grenoble

Formal techniques, modelling and analysis of timed and fault-tolerant systems : Joint International Conferences on Formal Modeling 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 ; proceedings

View online
Schließen

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 ; 3253
Asarin, Eugene [Editor]; Bouyer, Patricia [Other] ; FORMATS 4 2006 Paris

Formal modeling and analysis of timed systems : 4th International Conference, FORMATS 2006, Paris, France, September 25 - 27, 2006; proceedings

View online
Schließen

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 ; 4202
Gieseking, Manuel [Author] ; Olderog, Ernst-Rüdiger [Degree supervisor]; Finkbeiner, Bernd [Degree supervisor]

Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis

View online
Schließen

Access

... to E-book via Resolving system

... to E-book via German National Library

Close

Bookmarks

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

Oldenburg: BIS der Universität Oldenburg, 2022
Fränzle, Martin [Editor]; Markey, Nicolas [Editor]

Formal Modeling and Analysis of Timed Systems : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

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

Cham: Springer, 2016

Published in: Lecture notes in computer science ; 9884
Legay, Axel [Author] ; Bozga, Marius [Editor]

Formal Modeling and Analysis of Timed Systems : 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings

View online
Schließen

Access

... to E-book via DOI (Volltext)

Close

Bookmarks

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

Cham [u.a.]: Springer, 2014

Published in: Lecture notes in computer science ; 8711
Braberman, Víctor [Author] ; Fribourg, Laurent [Editor]

Formal Modeling and Analysis of Timed Systems : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings

View online
Schließen

Access

... to E-book via DOI (Volltext)

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 ; 8053

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