R.: Proving the Temporal Properties of the Unique World (1999)

by Z Horvath, P Achten, T Kozsik, Plasmeijer
Venue:Proceedings of the Sixth Symposium on Programming Languages and Software Tools