A note on on-the-fly verification algorithms (2005)

by Stefan Schwoon
Venue:In Proc. of TACAS’05, LNCS
Citations:24 - 2 self