Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. It may be one of the following persons:

Jan Friso Groote

Look up 'Jan Friso Groote' in GoogleThis author has not been identified. Look up 'Kevin H. J. Jilissen' in GoogleThis author has not been identified. Look up 'Maurice Laveaux' in GoogleThis author has not been identified. Look up 'P. H. M. van Spaendonck' in GoogleThis author has not been identified. Look up 'Tim A. C. Willemse' in Google

runs on WebDSL