DMCA

Some Decidability Results for Duration Calculus under Synchronous Interpretation (1998)

Cached

Download Links

by Manoranjan Satpathy , Dang Van Hung , Paritosh K Pandya
Venue:FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS (FTRTFT'98), VOLUME 1486 OF LECTURE NOTES IN COMPUTER SCIENCE
Citations:1 - 0 self