Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Unfoldings : A Partial-Order Approach to Model Checking

Unfoldings : A Partial-Order Approach to Model Checking

by Javier Esparza, Keijo Heljanko Paperback 2010

⭐ 0.0 rating
⭐ 0.0 out of 5 0 global ratings
5 star
65%
4 star
20%
3 star
10%
2 star
3%
1 star
2%
| 📖 0 saved | ✅ 0 verified
  • Author: Javier Esparza, Keijo Heljanko
  • ISBN 13: 9783642096051
  • ISBN 10: 3642096050
  • Publication Year: 2010
  • Language: English

Specifications

Index-103642096050
LanguageEnglish
Index-139783642096051
Period-
Class Track-
Publisher- (2010)
Pages-

✨ Readers also enjoyed...

View All →
Automata, Languages, and Programming : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I

Automata, Languages, and Programmi…

Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias

Inquire
Automata, Languages, and Programming : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II

Automata, Languages, and Programmi…

Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias

Inquire
Foundations of Software Science and Computation Structures : 20th International Conference, FOSSACS 2017, Held As Part of the European Joint Conferenc

Foundations of Software Science an…

Javier Esparza, Andrzej S. Murawski

Inquire
Free Choice Petri Nets (Cambridge Tracts in Theoretical Computer Science)

Free Choice Petri Nets (Cambridge …

Javier Esparza, Jörg Desel

Inquire
Tools and Algorithms for the Construction and Analysis of Systems : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conf

Tools and Algorithms for the Const…

Javier Esparza, Rupak Majumdar

Inquire