Limits for automatic verification of finite-state concurrent systems

Elena Cabrio, Philipp Cimiano, et al.

CLEF 2013

Matthias Kaiserswerth

IEEE/ACM Transactions on Networking

John M. Boyer, Charles F. Wiecha

DocEng 2009

S. Sattanathan, N.C. Narendra, et al.

CONTEXT 2005