Login
Dokumenttyp:
Technischer Report / Technical Report
Titel:
Supporting domain-specific state space reductions through local partial-order reduction
Verlegende Institution:
Technische Universität Darmstadt
Jahr:
2011
Sprache:
Englisch
Reportnummer:
TR-TUD-DEEDS-07-01-2011
Open Access ja oder nein?:
Nein / No
BibTeX