An Expressive Extension of TLC
International Journal of Foundations of Computer Science - Singapore
doi 10.1142/s0129054102001151
Full Text
Open PDFAbstract
Available in full text
Categories
Date
June 1, 2002
Authors
Publisher
World Scientific Pub Co Pte Lt