👤

Javier Esparza

3 books

Books by Javier Esparza

Finite and algorithmic model theory
Finite and algorithmic model theory
2011
Free choice Petri nets
Free choice Petri nets
1995
On the decidability of model c
On the decidability of model checking for several (mu)-calculi and Petri nets
1993