Regular Model Checking Made Simple and Efficient - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d Orso. Regular Model Checking Made Simple and Efficient. In Lubos Brim, Petr Jancar, Mojmír Kretínský, Antonín Kucera, editors, CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings. Volume 2421 of Lecture Notes in Computer Science, pages 116-130, Springer, 2002. [doi]

This author has not been identified. Look up 'Parosh Aziz Abdulla' in GoogleThis author has not been identified. Look up 'Bengt Jonsson' in GoogleThis author has not been identified. Look up 'Marcus Nilsson' in GoogleThis author has not been identified. Look up 'Julien d Orso' in Google

runs on WebDSL