Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems.

Frdric Lang, Radu Mateescu

Browse the full TACAS paper archive.