DMCA

A Checker For Modal Formulas For Processes With Data (2002)

by Jan Friso Groote , Tim A. C. Willemse
Venue:Proceedings of FMCO 2003, volume 3188 of LNCS
Citations:5 - 2 self