Javier Esparza - Böcker

Free Choice Petri Nets

Finite and Algorithmic Model Theory

Automated Technology for Verification and Analysis

17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

Application and Theory of Petri Nets 2002

23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings

Unfoldings

A Partial-Order Approach to Model Checking

Unfoldings

A Partial-Order Approach to Model Checking

Tools and Algorithms for the Construction and Analysis of Systems

16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings

Automata, Languages, and Programming

41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I

Automata, Languages, and Programming

41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II

Foundations of Software Science and Computation Structures

20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Logics and Languages for Reliability and Security

Dependable Software Systems Engineering

Matematik Origo 1b/1c Vux Lösningshäfte

Matematik Origo 2b/2c vux Lösningshäfte