Strazny, T. (2014). An algorithmic framework for checking coverability in well-structured transition systems. Univ., Dep. für Informatik.
Chicago-Zitierstil (17. Ausg.)Strazny, Tim. An Algorithmic Framework for Checking Coverability in Well-structured Transition Systems. Oldenburg: Univ., Dep. für Informatik, 2014.
MLA-Zitierstil (9. Ausg.)Strazny, Tim. An Algorithmic Framework for Checking Coverability in Well-structured Transition Systems. Univ., Dep. für Informatik, 2014.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.