-
Verification, Model Checking, and Abstract Interpretation – 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings
2022 Springer International Publishing
-
Model Checking Software – 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings
2021 Springer International Publishing
-
Transactions on Petri Nets and Other Models of Concurrency XV
Koutny, Maciej 2021 Springer International Publishing
-
Verification, Model Checking, and Abstract Interpretation – 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings
2021 Springer International Publishing
-
Tools and Algorithms for the Construction and Analysis of Systems – 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Chechik, Marsha ; Raskin, Jean-François 2016 Springer International Publishing
-
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification – First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
Lecomte, Thierry ; Pinger, Ralf ; Romanovsky, Alexander 2016 Springer International Publishing
-
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems – 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
Bernardo, Marco ; De Nicola, Rocco ; Hillston, Jane 2016 Springer International Publishing
-
Web Services, Formal Methods, and Behavioral Types – 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers
Hildebrandt, Thomas ; Ravara, António ; van der Werf, Jan Martijn ; Weidlich, Matthias 2016 Springer International Publishing
-
Model Checking Software – 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
Bošnački, Dragan ; Wijs, Anton 2016 Springer International Publishing
-
Engineering Secure Software and Systems – 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings
Caballero, Juan ; Bodden, Eric ; Athanasopoulos, Elias 2016 Springer Berlin Heidelberg
-
On-the-fly unfolding with optimal exploration for linear temporal logic model checking of concurrent software and systems
Li, Shuo ; Zheng, Li’ao ; Yang, Ru ; Ding, Zhijun
-
Verified Software: Theories, Tools, and Experiments – 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18–19, 2015. Revised Selected Papers
Gurfinkel, Arie ; Sanjit, Seshia 2016 Springer International Publishing
-
Transactions on Petri Nets and Other Models of Concurrency XI
2016 Springer International Publishing
-
Verification, Model Checking, and Abstract Interpretation – 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings
2020 Springer International Publishing
-
Abstract State Machines, Alloy, B, TLA, VDM, and Z – 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
Butler, Michael ; Schewe, Klaus-Dieter ; Mashkoor, Atif ; Biro, Miklos 2016 Springer International Publishing
-
Automated Deduction - CADE-25 – 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
2015 Springer International Publishing
-
Certifying Projected Knowledge Compilation
Bryant, Randal E. ; Tan, Yong Kiam ; Heule, Marijn J. H. 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
Handbook of Weighted Automata
Droste, Manfred 2009 Springer Berlin Heidelberg
-
Simulating Social Complexity – A Handbook
Edmonds, Bruce ; Meyer, Ruth 2017 Springer International Publishing
-
User-Level Workflow Design – A Bioinformatics Perspective
Lamprecht, Anna-Lena 2013 Springer International Publishing