Amanote Research
Register
Sign In
A Clausal Resolution Method for Extended Computation Tree Logic ECTL
doi 10.1109/time.2003.1214886
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
A. Bolotov
Publisher
IEEE Comput. Soc
