Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings

Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings


Book Informaton

Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings

Author

Hans Langmaack; Willem-Paul de Roever; Jan Vytopil

Series

Lecture Notes in Computer Science

Volume

863

Year of Publication

1994

Publisher

Springer Berlin Heidelberg

City of Publication

Berlin

Pages

XIV, 787

Language

en

ISBN

9783540584681, 9783540489849, 3540584684

ARI Id

1664732869049


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 7 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 41 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-18
19-40
41-76
77-85
86-109
110-127
128-148
149-169
170-192
193-210
211-227
228-246
247-267
268-287
288-335
336-350
351-372
373-392
393-417
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 41 entries