Templar: A Knowledge-Based Language for Software Specifications Using Temporal Logic.
| Anthology ID: | DBLP:journals/tois/Tuzhilin95 |
|---|---|
| Year: | 1995 |
| Venue: | ACM Transactions on Information Systems (TOIS) |
| Pages: | 269-304 |
| URL: | https://doi.org/10.1145/203052.203061 |
| DOI: | https://doi.org/10.1145/203052.203061 |
| DBLP: | journals/tois/Tuzhilin95 |
| BibTeX: |
@article{tuzhilin-1995-templar,
author = {Alexander Tuzhilin},
title = {{Templar: A Knowledge-Based Language for Software Specifications Using Temporal Logic}},
journal = {ACM Transactions on Information Systems (TOIS)},
volume = {13},
number = {3},
pages = {269--304},
year = {1995},
url = {https://doi.org/10.1145/203052.203061},
doi = {https://doi.org/10.1145/203052.203061}
}