The Maude LTL model checker (0)

by S Eker, J Meseguer, A Sridharanarayanan
Venue:Fourth International Workshop on Rewriting Logic and its Applications, volume 71 of Electronic