DMCA

FormalCheck Query Language Compared with CTL (1999)

Cached

Download Links

by Zijiang Yang , Christine Chung , In-Ho Moon