Unfoldings A Partial-Order Approach to Model Checking - Esparza, Javier; Heljanko, Keijo; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008)
Keywords: Computer science; Software engineering; Information theory; Logic design; Computer Science; Logics and Meanings of Programs; Theory of Computation; Software Engineering