Unfoldings

In this book the authors introduce unfoldings, ...

Finite and Algorithmic Model Theory

Intended for researchers and graduate students ...

Tools and Algorithms for the Construction and Analysis of Systems

ETAPS 2010 was the 13th instance of the Europea...

Automata, Languages, and Programming

This two-volume set of LNCS 8572 and LNCS 8573 ...

Foundations of Software Science and Computation Structures

This book constitutes the proceedings of the 20...

Automata, Languages, and Programming

This two-volume set of LNCS 8572 and LNCS 8573 ...

Automated Technology for Verification and Analysis

This book constitutes the refereed proceedings ...

Jalisco 1910-2010

Application and Theory of Petri Nets 2002

This book constitutes the refereed proceedings ...

Automata Theory

A comprehensive introduction to automata theory...

Sobre la familia realidades y representaciones sociales y culturales

El contenido del presente libro se divide en do...

Unfoldings

Model checking is a prominent technique used in...