METATEM: A Framework for Programming in Temporal Logic (1989)

Cached

Download Links

by Howard Barringer , Michael Fisher , Dov Gabbay , Graham Gough , Richard Owens
Venue:In REX Workshop on Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness (LNCS Volume 430
Citations:88 - 20 self