Search

You searched for: Auteur Esparza, Javier Remove constraint Auteur: Esparza, Javier
1 - 5 of 5
Number of results to display per page

Search Results

1. Unfoldings
thumbnail
Full text!
Author:
Esparza, Javier; Heljanko, Keijo
Publisher:
Springer Berlin Heidelberg 2008
Format:
e-book
2. Automated Technology for Verification and Analysis
thumbnail
Full text!
Author:
Chen; Cheng, Chih-Hong; Esparza, Javier
Publisher:
Springer International Publishing 2019
Format:
e-book
3. Tools and Algorithms for the Construction and Analysis of Systems
thumbnail
Full text!
Author:
Esparza, Javier; Kanade, Takeo; Majumdar, Rupak; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2010
Format:
e-book
4. Automata, Languages, and Programming
thumbnail
Full text!
Author:
Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias; Fraigniaud, Pierre; Husfeldt, Thore; Koutsoupias, Elias
Publisher:
Springer Berlin Heidelberg 2014
Format:
e-book
5. Automata, Languages, and Programming
thumbnail
Full text!
Author:
Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias; Fraigniaud, Pierre; Husfeldt, Thore; Koutsoupias, Elias
Publisher:
Springer Berlin Heidelberg 2014
Format:
e-book