Evidence-based model checking

TitleEvidence-based model checking
Publication TypeConference Papers
Year of Publication2002
AuthorsTan L, Cleaveland R
Conference NameComputer Aided Verification
Date Published2002///