A Semantics Driven Temporal Verification System

Graham Gough; Howard Barringer; Harald Ganzinger

doi:10.1007/3-540-19027-9_2

A Semantics Driven Temporal Verification System

Graham Gough, Howard Barringer, Harald Ganzinger (Editor)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	ESOP
Editors	Harald Ganzinger
Publisher	Springer Nature
Pages	21-33
Number of pages	13
Volume	300
ISBN (Print)	3-540-19027-9
DOIs	https://doi.org/10.1007/3-540-19027-9_2
Publication status	Published - 1988
Event	ESOP '88, 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988, Proceedings - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/esop/esop88.html#GoughB88http://dblp.uni-trier.de/rec/bibtex/conf/esop/GoughB88.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/esop/GoughB88

Publication series

Name	Lecture Notes in Computer Science

Conference

Conference	ESOP '88, 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988, Proceedings
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/esop/esop88.html#GoughB88http://dblp.uni-trier.de/rec/bibtex/conf/esop/GoughB88.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/esop/GoughB88

Access to Document

10.1007/3-540-19027-9_2

Cite this

@inproceedings{7084f177f3c94c218b82f62fa41b86d8,

title = "A Semantics Driven Temporal Verification System",

author = "Graham Gough and Howard Barringer and Harald Ganzinger",

year = "1988",

doi = "10.1007/3-540-19027-9_2",

language = "English",

isbn = "3-540-19027-9",

volume = "300",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

pages = "21--33",

editor = "Harald Ganzinger",

booktitle = "ESOP",

address = "United States",

note = "ESOP '88, 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988, Proceedings ; Conference date: 01-01-1824",

url = "http://dblp.uni-trier.de/db/conf/esop/esop88.html#GoughB88http://dblp.uni-trier.de/rec/bibtex/conf/esop/GoughB88.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/esop/GoughB88",

}

TY - GEN

T1 - A Semantics Driven Temporal Verification System

AU - Gough, Graham

AU - Barringer, Howard

A2 - Ganzinger, Harald

PY - 1988

Y1 - 1988

U2 - 10.1007/3-540-19027-9_2

DO - 10.1007/3-540-19027-9_2

M3 - Conference contribution

SN - 3-540-19027-9

VL - 300

T3 - Lecture Notes in Computer Science

SP - 21

EP - 33

BT - ESOP

PB - Springer Nature

T2 - ESOP '88, 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988, Proceedings

Y2 - 1 January 1824

ER -