Using fairness to make abstractions work

D. Bosnacki, N. Ioustinova, N. Sidorova

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

6 Citations (Scopus)
1 Downloads (Pure)
Original languageEnglish
Title of host publicationModel Checking Software (Proceedings 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004)
EditorsS. Graf, L. Mounier
Place of PublicationBerlin
ISBN (Print)3-540-21314-7
Publication statusPublished - 2004

Publication series

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

Cite this