Verifying concurrent systems with symbolic execution
Balser, Michael ; Duelli, Christoph ; Reif, Wolfgang ; Schellhorn, Gerhard 2002 Universität Augsburg
- Link zu diesem Datensatz
- https://d-nb.info/138239666X
- Titel
- Verifying concurrent systems with symbolic execution
- Art des Inhalts
- Teil eines Werks
- Verfassangaben
- Michael Balser, Christoph Duelli, Wolfgang Reif, Gerhard Schellhorn
- Autor(en)
-
- Balser, Michael
- Duelli, Christoph
- Reif, Wolfgang
- Schellhorn, Gerhard
- Verlag
- Augsburg : Universität Augsburg [2002] - Oxford : Oxford University Press [2002]
- Jahr
- Erscheinungsdatum: 2002
- Umfang/Format
- Online-Ressource
- DOI
- 10.1093/logcom/12.4.549
- Online
- https://doi.org/10.1093/logcom/12.4.549
- Sprache
- eng
- Schlagwörter
- Frühere/spätere Titel
-
- Enthalten in: In: Journal of Logic and Computation, 12, 4, S. 549-560
- Enthalten in: In: Journal of Logic and Computation, 12, 4, S. 549-560
- Enthalten in: In: Journal of Logic and Computation, 12, 4, S. 549-560
- Stand
- 03.12.2025 23:19
- Im Katalog seit
- 07.03.2026