Esparza, Javier Heljanko, Keijo
Unfoldings a partial-order approach to model checking - Berlin Springer-Verlag 2008 - 169 - Monographs in theoretical computer science .
9783540774259
681.3 ESP
Unfoldings a partial-order approach to model checking - Berlin Springer-Verlag 2008 - 169 - Monographs in theoretical computer science .
9783540774259
681.3 ESP