Fast generic model-checking for data-based systems

TitleFast generic model-checking for data-based systems
Publication TypeJournal Articles
Year of Publication2005
AuthorsZhang D, Cleaveland R
JournalFormal Techniques for Networked and Distributed Systems-FORTE 2005
Pagination83 - 97
Date Published2005///