DMCA

A HOL Formalisation of the Temporal Logic of Actions (1994)

Cached

Download Links

by Thomas Långbacka
Venue:Higher Order Logic Theorem Proving and Its Applications, volume 859 of Lecture Notes in Computer Science (LNCS
Citations:11 - 0 self