Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings

Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings


Book Informaton

Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings

Author

Marcin Jurdzinski; Dejan Nickovic

Series

Lecture Notes in Computer Science

Volume

7595

Year of Publication

2012

Publisher

Springer Berlin Heidelberg

Pages

X, 267

Language

en

ISBN

9783642333644, 9783642333651

ARI Id

1664697014149


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 8 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 20 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-6
7-10
11-26
27-42
43-58
59-74
75-90
91-106
107-122
123-138
139-154
155-170
171-187
188-203
204-219
220-235
236-251
252-266
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 20 entries