The temporal rover and the ATG rover (2000)

by D Drusinsky
Venue:In SPIN Model Checking and Software Verification, volume 1885 of LNCS