Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings

Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings


Book Informaton

Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings

Author

Paul Pettersson; Wang Yi

Series

Lecture Notes in Computer Science

Volume

3829

Year of Publication

2005

Publisher

Springer Berlin Heidelberg

Language

EN

ISBN

9783540309468, 9783540316169

ARI Id

1674219721335


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 15 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Access Options
Citation Options
Download Citation

Showing 1 to 20 of 24 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-1
2-16
17-31
32-48
49-64
65-80
81-94
95-97
98-111
112-126
127-141
142-143
144-161
162-176
177-195
196-210
211-225
226-241
242-257
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 24 entries