A Practical Approach to Verification of Mobile Systems Using Net Unfoldings. - Roland Meyer 001; Victor Khomenko; Tim Strazny (Fundam. Informaticae, 2009)

Petruchio: From Dynamic Networks to Nets. - Roland Meyer 001; Tim Strazny (CAV, 2010)

An Algorithmic Framework for Coverability in Well-Structured Systems. - Tim Strazny; Roland Meyer 001 (ACSD, 2012)

An algorithmic framework for checking coverability in well-structured transition systems. - Tim Strazny (2014)