Inproceedings,
Frequency Linear-time Temporal Logic.
B. Bollig, N. Decker, and M. Leucker.TASE, page 85-92. IEEE Computer Society, (2012)
Meta data
- BibTeX key
- conf/tase/BolligDL12
- entry type
- inproceedings
- booktitle
- TASE
- year
- 2012
- pages
- 85-92
- publisher
- IEEE Computer Society
- crossref
- conf/tase/2012
- ee
- http://doi.ieeecomputersociety.org/10.1109/TASE.2012.43
- isbn
- 978-0-7695-4751-0
- url
- http://dblp.uni-trier.de/db/conf/tase/tase2012.html#BolligDL12
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/tase/BolligDL12
%A Bollig, Benedikt
%A Decker, Normann
%A Leucker, Martin
%B TASE
%D 2012
%E Margaria, Tiziana
%E Qiu, Zongyan
%E Yang, Hongli
%I IEEE Computer Society
%K
%P 85-92
%T Frequency Linear-time Temporal Logic.
%U http://dblp.uni-trier.de/db/conf/tase/tase2012.html#BolligDL12
%@ 978-0-7695-4751-0
@inproceedings{conf/tase/BolligDL12,
added-at = {2023-12-13T05:24:56.000+0100},
author = {Bollig, Benedikt and Decker, Normann and Leucker, Martin},
biburl = {https://www.bibsonomy.org/bibtex/23ec81135e438671c326548d0d64eab71/admin},
booktitle = {TASE},
crossref = {conf/tase/2012},
editor = {Margaria, Tiziana and Qiu, Zongyan and Yang, Hongli},
ee = {http://doi.ieeecomputersociety.org/10.1109/TASE.2012.43},
interhash = {a24559083a87343e313a482c00b59138},
intrahash = {3ec81135e438671c326548d0d64eab71},
isbn = {978-0-7695-4751-0},
keywords = {},
pages = {85-92},
publisher = {IEEE Computer Society},
timestamp = {2023-12-13T05:24:56.000+0100},
title = {Frequency Linear-time Temporal Logic.},
url = {http://dblp.uni-trier.de/db/conf/tase/tase2012.html#BolligDL12},
year = 2012
}