RTL and Refutation by Positive Cycles
Resource
Formal Methods Europe Symposium, Barcelona, Spain(1994.10)
Journal
Formal Methods Europe Symposium, Barcelona, Spain(1994.10)
Pages
-
Date Issued
1994-10
Date
1994-10
Author(s)
Goos, Gerhard
Hartmanis, Juris
Leeuwen, Jan