![]() |
@article{DBLP:journals/tois/Tuzhilin95,
author = {Alexander Tuzhilin},
title = {Templar: A Knowledge-Based Language for Software Specifications
Using Temporal Logic},
journal = {ACM Trans. Inf. Syst.},
volume = {13},
number = {3},
year = {1995},
pages = {269-304},
ee = {http://doi.acm.org/10.1145/203052.203061},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2006-04-03 by Michael Ley (ley@uni-trier.de)