Temporal Logic

Antony Galton

Chapter 20 of Paul A. Fishwick (editor), Handbook of Dynamic System Modeling, Chapman and Hall/CRC, 2007.
ISBN-10: 1584885653


Antony Galton
Last modified: Thu Dec 11 16:46:57 GMT 2008