Inproceedings,
T2: Temporal Property Verification.
M. Brockschmidt, B. Cook, S. Ishtiaq, H. Khlaaf, and N. Piterman.TACAS, volume 9636 of Lecture Notes in Computer Science, page 387-393. Springer, (2016)
Meta data
- BibTeX key
- conf/tacas/BrockschmidtCIK16
- entry type
- inproceedings
- booktitle
- TACAS
- year
- 2016
- pages
- 387-393
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 9636
- crossref
- conf/tacas/2016
- ee
- https://doi.org/10.1007/978-3-662-49674-9_22
- isbn
- 978-3-662-49673-2
- url
- http://dblp.uni-trier.de/db/conf/tacas/tacas2016.html#BrockschmidtCIK16
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/tacas/BrockschmidtCIK16
%A Brockschmidt, Marc
%A Cook, Byron
%A Ishtiaq, Samin
%A Khlaaf, Heidy
%A Piterman, Nir
%B TACAS
%D 2016
%E Chechik, Marsha
%E Raskin, Jean-François
%I Springer
%K dblp
%P 387-393
%T T2: Temporal Property Verification.
%U http://dblp.uni-trier.de/db/conf/tacas/tacas2016.html#BrockschmidtCIK16
%V 9636
%@ 978-3-662-49673-2
@inproceedings{conf/tacas/BrockschmidtCIK16,
added-at = {2017-11-06T00:00:00.000+0100},
author = {Brockschmidt, Marc and Cook, Byron and Ishtiaq, Samin and Khlaaf, Heidy and Piterman, Nir},
biburl = {https://www.bibsonomy.org/bibtex/232774fe2544b747398992e5b4e340b4e/dblp},
booktitle = {TACAS},
crossref = {conf/tacas/2016},
editor = {Chechik, Marsha and Raskin, Jean-François},
ee = {https://doi.org/10.1007/978-3-662-49674-9_22},
interhash = {55acea6ba3dfec252580b14dd45cdd84},
intrahash = {32774fe2544b747398992e5b4e340b4e},
isbn = {978-3-662-49673-2},
keywords = {dblp},
pages = {387-393},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T14:36:36.000+0200},
title = {T2: Temporal Property Verification.},
url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2016.html#BrockschmidtCIK16},
volume = 9636,
year = 2016
}