Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "{{{1}}}"
Treffer 99996 von 258791
|
|
| Link zu diesem Datensatz | https://d-nb.info/1099291313 |
| Titel | Partial-order reduction for general state exploring algorithms / Dragan Bošnački ; Stefan Leue ; Alberto Lluch-Lafuente |
| Person(en) |
Bošnački, Dragan (Verfasser) Leue, Stefan (Verfasser) Lluch-Lafuente, Alberto (Verfasser) |
| Verlag | Konstanz : Bibliothek der Universität Konstanz |
| Zeitliche Einordnung | Erscheinungsdatum: 2010 |
| Umfang/Format | Online-Ressource |
| Persistent Identifier | URN: urn:nbn:de:bsz:352-opus-105075 |
| URL | http://kops.uni-konstanz.de/handle/123456789/6195 (Verlag) (kostenfrei zugänglich) |
| Sprache(n) | Englisch (eng) |
| Anmerkungen | In: International Journal on Software Tools for Technology Transfer (STTT) ; 11 (2009), 1. - S. 39-51. - ISSN 1433-2779. - eISSN 1433-2787 |
| Sachgruppe(n) | 510 Mathematik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 99996 von 258791
Administration
