DMCA

Fast Generic Model-Checking for Data-Based Systems (2005)

Cached

Download Links

by Dezhuang Zhang , Rance Cleaveland
Venue:FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2005, VOLUME 3731 OF LECTURE NOTES IN COMPUTER SCIENCE
Citations:9 - 1 self