Jan Friso Groote, Kevin H. J. Jilissen, Maurice Laveaux, P. H. M. van Spaendonck, Tim A. C. Willemse. Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation. In Nils Jansen, Mariëlle Stoelinga, Petra van den Bos, editors, A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Volume 13560 of Lecture Notes in Computer Science, pages 306-320, Springer, 2022. [doi]
Abstract is missing.