Property-dependent reduction for the modal mu-calculus

R. Mateescu, A.J. Wijs

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

7 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings of the 18th International SPIN Workshop on Model Checking of Software
EditorsA. Groce, M. Musuvathi
Place of PublicationHeidelberg
PublisherSpringer
Pages2-19
ISBN (Print)978-3-642-22306-8
DOIs
Publication statusPublished - 2011

Publication series

NameLecture Notes in Computer Science
Volume6823
ISSN (Print)0302-9743

Cite this