Esparza J. Unfoldings. A partial-order approach to model checking / J. Esparza, K. Heljanko, 2008. - XII, 169 p. - Текст : непосредственный.
Tools and algorithms for the construction and analysis of systems : 16th international conference, TACAS 2010, held as part of the joint European conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010: proceedings / SpringerLink (Online service), 2010 r=on-line. - Текст : электронный.
Esparza J. Unfoldings : a partial-order approach to model checking / J. Esparza, K. Heljanko, 2008 r=on-line. - Текст : электронный.