Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation.
Jan Friso GrooteKevin H. J. JilissenMaurice LaveauxP. H. M. van SpaendonckTim A. C. WillemsePublished in: A Journey from Process Algebra via Timed Automata to Model Learning (2022)