Templar: A Knowledge-Based Language for Software Specifications Using Temporal Logic

Alexander Tuzhilin

Anthology ID:

DBLP:journals/tois/Tuzhilin95

Volume:

1995 Volume 13 Issue 3

Year:

1995

Venue:

tois_journal

Pages:

269–304

URL:

https://doi.org/10.1145/203052.203061

DOI:

10.1145/203052.203061

DBLP:

journals/tois/Tuzhilin95

BibTeX:

Download Copy BibTeX to Clipboard Copy Bibkey "tuzhilin-1995-templar" to Clipboard

Google Scholar Internet Archive Scholar Semantic Scholar