Content available in repository
Content available in repository
Fingerprint
Dive into the research topics where Flip van Spaendonck is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
-
A Thread-Safe Term Library: (with a New Fast Mutual Exclusion Protocol)
Groote, J. F., Laveaux, M. & van Spaendonck, P. H. M., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer, p. 422-459 38 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13701 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
2 Citations (Scopus) -
Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation
Groote, J. F., Jilissen, K. H. J., Laveaux, M., van Spaendonck, P. H. M. & Willemse, T. A. C., 2022, A Journey from Process Algebra via Timed Automata to Model Learning. Jansen, N., Stoelinga, M. & van den Bos, P. (eds.). Springer, p. 306-320 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13560 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
-
A thread-safe Term Library: (with a new fast mutual exclusion protocol)
Groote, J. F., Laveaux, M. & Spaendonck, P. H. M. V., 4 Nov 2021, In: CoRR. abs/2111.02706, 13 p.Research output: Contribution to journal › Article › Academic