Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9 - 13, 1996 ; proceedings
| Other Involved Persons: | |
|---|---|
| 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 |
| Further Information: | Lizenzpflichtig Lizenzpflichtig Lizenzpflichtig |
| QR Code: | Show QR Code |
Ilmenau University Library, Online
| Shelf Mark: |
- |
|
|---|---|---|
| Notes: | Campuslizenz TU Ilmenau | |
| 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. |
Feedback Delivery Service Acquisition Suggestion