Login
Dokumenttyp:
Konferenzbeitrag / Conference Paper
Titel:
Supporting domain-specific state space reductions through local partial-order reduction
Titel Konferenzpublikation:
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Konferenztitel:
IEEE/ACM International Conference on Automated Software Engineering (26., 2011, Lawrence, KS)
Tagungsort:
Lawrence, KS, USA
Jahr der Konferenz:
2011
Datum Beginn der Konferenz:
06.11.2011
Datum Ende der Konferenz:
10.11.2011
Verlagsort:
Piscataway
Verlag:
IEEE
Jahr:
2011
Seiten von - bis:
113-122
Sprache:
Englisch
ISBN:
978-1-4577-1638-6 ; 978-1-4577-1639-3
URL zum Inhalt:
Open Access ja oder nein?:
Ja / Yes
BibTeX