Anton Wijs, Dragan Bošnački, Stefan Edelkamp
Proceedings Second Workshop on GRAPH Inspection and Traversal Engineering
GRAPHITE, 2013.
@proceedings{GRAPHITE-2013,
address = "Rome, Italy",
doi = "10.4204/EPTCS.138",
editor = "Anton Wijs and Dragan Bošnački and Stefan Edelkamp",
series = "{EPTCS}",
title = "{Proceedings Second Workshop on GRAPH Inspection and Traversal Engineering}",
volume = 138,
year = 2013,
}
Contents (1 items)
- GRAPHITE-2013-Majster-CederbaumS #architecture #constraints #operating system #reachability
- Reachability in Cooperating Systems with Architectural Constraints is PSPACE-Complete (MEMC, NS), pp. 1–11.