Specifying Real-Time Finite-State Systems in Linear Logic (1998)

Cached

Download Links

by Max I. Kanovich , Mitsuhiro Okada , Andre Scedrov
Venue:In 2-nd International Workshop on Constraint Programming for Time-Critical Applications and Multi-Agent Systems (COTIC
Citations:12 - 4 self