GRAPHITE

Keyphrases

Publications

2014

volume 159, 2014

Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering, GRAPHITE 2014, Grenoble, France, 5th April 2014. GRAPHITE 159 (2014)

2013

Mila E. Majster-Cederbaum, Nils Semmelrock
Reachability in Cooperating Systems with Architectural Constraints is PSPACE-Complete. GRAPHITE (2013)

volume 138, 2013

Proceedings 2nd Workshop on GRAPH Inspection and Traversal Engineering, GRAPHITE 2013, Rome, Italy, March 24, 2013. GRAPHITE 138 (2013)

2012

volume 99, 2012

Proceedings First Workshop on GRAPH Inspection and Traversal Engineering, GRAPHITE 2012, Tallinn, Estonia, 1st April 2012. GRAPHITE 99 (2012)