The Maude LTL Model Checker (2002)

View PDF

Download Links

by Steven Eker , José Meseguer , Ambarish Sridharanarayanan
Citations:69 - 16 self