Stuttering congruence for $\Chi$

B. Luttik, N. Trcka

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

1 Citation (Scopus)
Original languageEnglish
Title of host publicationModel Checking Software (Proceedings 12th International SPIN Workshop, San Francisco CA, USA, August 22-24, 2005)
EditorsP. Godefroid
Place of PublicationBerlin
PublisherSpringer
Pages185-199
ISBN (Print)3-540-28195-9
DOIs
Publication statusPublished - 2005

Publication series

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

Cite this