Abstracting from Failure Probabilities
Antti Valmari; Alex Yakovlev (Hrsg). Proceedings of the Second International Conference on Application of Concurrency to System Design ACSD 2001: 25 - 29 June 2001; Newcastle upon Tyne, UK. Los Alamitos, CA: IEEE Computer Society 2001 S. 53 - 64
Erscheinungsjahr: 2001
ISBN/ISSN: 0-7695-1071-X
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1109/CSD.2001.981764
| Geprüft | Bibliothek |
