Local model checking and protocol analysis

TitleLocal model checking and protocol analysis
Publication TypeJournal Articles
Year of Publication1999
AuthorsDu X, Smolka SA, Cleaveland R
JournalInternational Journal on Software Tools for Technology Transfer (STTT)
Volume2
Issue3
Pagination219 - 241
Date Published1999///