Skip to content

Towards a Semantics for Concurrent METATEM.

Michael Fisher

VenueA*IJCAI
Year1993
ProceedingsExecutable Modal and Temporal Logics

Browse the full IJCAI paper archive.