Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers


Book Informaton

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers

Author

Kim G. Larsen; Peter Niebert

Series

Lecture Notes in Computer Science

Volume

2791

Year of Publication

2004

Publisher

Springer Berlin Heidelberg

City of Publication

Berlin

Pages

VIII, 281

Language

EN

ISBN

9783540216711, 9783540409038, 3540216715

ARI Id

1664591941291


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 9 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-17
18-33
34-45
46-59
60-72
73-87
88-104
105-120
121-133
134-150
151-165
166-167
168-181
182-188
189-203
204-218
219-233
234-245
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 24 entries