Article,
Light-Weight SMT-based Model Checking
S. Ghilardi, S. Ranise, and T. Valsecchi.Electr. Notes Theor. Comput. Sci., 250 (2): 85-102 (2009)
Meta data
- BibTeX key
- Ghilardi2009
- entry type
- article
- year
- 2009
- journal
- Electr. Notes Theor. Comput. Sci.
- number
- 2
- pages
- 85-102
- volume
- 250
- timestamp
- 2011-12-03 05:26:44
- username
- henningb
- intrahash
- d6c7a3a3e2ed55989785af2a49a0dd3b
- ee
- http://dx.doi.org/10.1016/j.entcs.2009.08.019
- file
- :smt/lightweight_smt_model_checking.pdf:PDF
- interhash
- a3fee16ef4a0e1da378dfc91528a35b5
- groups
- public
- url
- http://dblp.uni-trier.de/db/journals/entcs/entcs250.html#GhilardiRV09
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 Ghilardi2009
%A Ghilardi, Silvio
%A Ranise, Silvio
%A Valsecchi, Thomas
%D 2009
%J Electr. Notes Theor. Comput. Sci.
%K smt
%N 2
%P 85-102
%T Light-Weight SMT-based Model Checking
%U http://dblp.uni-trier.de/db/journals/entcs/entcs250.html#GhilardiRV09
%V 250
@article{Ghilardi2009,
added-at = {2011-12-03T17:26:44.000+0100},
author = {Ghilardi, Silvio and Ranise, Silvio and Valsecchi, Thomas},
biburl = {https://www.bibsonomy.org/bibtex/271a2fa1eda00f3d71ff625d90eb94c30/henningb},
description = {dblp},
ee = {http://dx.doi.org/10.1016/j.entcs.2009.08.019},
file = {:smt/lightweight_smt_model_checking.pdf:PDF},
groups = {public},
interhash = {a3fee16ef4a0e1da378dfc91528a35b5},
intrahash = {d6c7a3a3e2ed55989785af2a49a0dd3b},
journal = {Electr. Notes Theor. Comput. Sci.},
keywords = {smt},
number = 2,
pages = {85-102},
timestamp = {2011-12-03T17:42:31.000+0100},
title = {Light-Weight SMT-based Model Checking},
url = {http://dblp.uni-trier.de/db/journals/entcs/entcs250.html#GhilardiRV09},
username = {henningb},
volume = 250,
year = 2009
}