M. Samer, and H. Veith. VISSAS, volume 1 of NATO Security through Science Series D: Information and Communication Security, page 149-167. IOS Press, (2005)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/vissas/SamerV05
%A Samer, Marko
%A Veith, Helmut
%B VISSAS
%D 2005
%E Clarke, Edmund M.
%E Minea, Marius
%E Tiplea, Ferucio Laurentiu
%I IOS Press
%K dblp
%P 149-167
%T From Temporal Logic Queries to Vacuity Detection.
%U http://dblp.uni-trier.de/db/conf/vissas/vissas2005.html#SamerV05
%V 1
%@ 1-58603-570-3
@inproceedings{conf/vissas/SamerV05,
added-at = {2006-09-07T00:00:00.000+0200},
author = {Samer, Marko and Veith, Helmut},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/29c2662a9a6cf2d8a913d7d95599b8168/dblp},
booktitle = {VISSAS},
crossref = {conf/vissas/2005},
editor = {Clarke, Edmund M. and Minea, Marius and Tiplea, Ferucio Laurentiu},
interhash = {c18ddc8c5b58e055a2805517a2de4670},
intrahash = {9c2662a9a6cf2d8a913d7d95599b8168},
isbn = {1-58603-570-3},
keywords = {dblp},
pages = {149-167},
publisher = {IOS Press},
series = {NATO Security through Science Series D: Information and Communication Security},
timestamp = {2016-02-02T12:59:13.000+0100},
title = {From Temporal Logic Queries to Vacuity Detection.},
url = {http://dblp.uni-trier.de/db/conf/vissas/vissas2005.html#SamerV05},
volume = 1,
year = 2005
}