Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9 - 13, 1996 ; proceedings

Bibliographic Details
Other Involved Persons: Jonsson, Bengt
Format: eBook
Language:English
Published: Berlin [u.a.] : Springer 1996
ISBN:3540616489
9783540616481
Series:Lecture notes in computer science 1135
Item Description:Literaturangaben
Physical Description:Online-Ressource (X, 478 S.)
DOI:10.1007/3-540-61648-9
Subjects:
Other Editions:Show all 6 Editions
QR Code: Show QR Code

Ilmenau University Library, Online

Holdings details from Universit├Ątsbibliothek Ilmenau, Online
Shelf Mark: -
Notes:
Online Access: http://www.springerlink.com/content/kv58811l1p85 [Lizenzpflichtig]
Online Access: http://www.springerlink.de/openurl.asp?genre=book&isbn=978-3-540-61648-1 [Lizenzpflichtig]
Online Access: http://dx.doi.org/10.1007/3-540-61648-9 [Lizenzpflichtig]
Availability: Available - Online.

Show all 6 Editions
Feedback Delivery Service Acquisition Suggestion