DMCA

A Decidable Dense Branching-time Temporal Logic (2000)

Cached

Download Links

by Salvatore La Torre , Margherita Napoli
Venue:In Proc. of the 20th Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS'00, LNCS 1974
Citations:10 - 5 self