Inproceedings,
Lattice-Valued Binary Decision Diagrams.
G. Geeraerts, G. Kalyon, T. Gall, N. Maquet, and J. Raskin.ATVA, volume 6252 of Lecture Notes in Computer Science, page 158-172. Springer, (2010)
Meta data
- BibTeX key
- conf/atva/GeeraertsKGMR10
- entry type
- inproceedings
- booktitle
- ATVA
- year
- 2010
- pages
- 158-172
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 6252
- crossref
- conf/atva/2010
- ee
- https://doi.org/10.1007/978-3-642-15643-4_13
- isbn
- 978-3-642-15642-7
- url
- http://dblp.uni-trier.de/db/conf/atva/atva2010.html#GeeraertsKGMR10
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/atva/GeeraertsKGMR10
%A Geeraerts, Gilles
%A Kalyon, Gabriel
%A Gall, Tristan Le
%A Maquet, Nicolas
%A Raskin, Jean-François
%B ATVA
%D 2010
%E Bouajjani, Ahmed
%E Chin, Wei-Ngan
%I Springer
%K dblp
%P 158-172
%T Lattice-Valued Binary Decision Diagrams.
%U http://dblp.uni-trier.de/db/conf/atva/atva2010.html#GeeraertsKGMR10
%V 6252
%@ 978-3-642-15642-7
@inproceedings{conf/atva/GeeraertsKGMR10,
added-at = {2017-05-21T00:00:00.000+0200},
author = {Geeraerts, Gilles and Kalyon, Gabriel and Gall, Tristan Le and Maquet, Nicolas and Raskin, Jean-François},
biburl = {https://www.bibsonomy.org/bibtex/2f3bcda7e538de0557b701e64419d573f/dblp},
booktitle = {ATVA},
crossref = {conf/atva/2010},
editor = {Bouajjani, Ahmed and Chin, Wei-Ngan},
ee = {https://doi.org/10.1007/978-3-642-15643-4_13},
interhash = {f792558c051e0d0d4b65bfc7a2de3dc2},
intrahash = {f3bcda7e538de0557b701e64419d573f},
isbn = {978-3-642-15642-7},
keywords = {dblp},
pages = {158-172},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T13:01:10.000+0200},
title = {Lattice-Valued Binary Decision Diagrams.},
url = {http://dblp.uni-trier.de/db/conf/atva/atva2010.html#GeeraertsKGMR10},
volume = 6252,
year = 2010
}