Refinements for Restart Model Elimination
Koblenz: Universität Koblenz-Landau, Fachbereich Informatik 1996
Erscheinungsjahr: 1996
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
| Geprüft | Bibliothek |
Klassifikation
DDC Sachgruppe:
Allgemeines, Wissenschaft
