Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Book Section
%1 reference/wiley/PeledPS08
%A Peled, Doron A.
%A Pelliccione, Patrizio
%A Spoletini, Paola
%B Wiley Encyclopedia of Computer Science and Engineering
%D 2008
%E Wah, Benjamin W.
%I John Wiley & Sons, Inc.
%K dblp
%T Model Checking.
%U http://dblp.uni-trier.de/db/reference/wiley/wiley2008.html#PeledPS08
@incollection{reference/wiley/PeledPS08,
added-at = {2023-03-21T00:00:00.000+0100},
author = {Peled, Doron A. and Pelliccione, Patrizio and Spoletini, Paola},
biburl = {https://www.bibsonomy.org/bibtex/2764678fe71fe8ecee14dff929534b67f/dblp},
booktitle = {Wiley Encyclopedia of Computer Science and Engineering},
crossref = {reference/wiley/2008},
editor = {Wah, Benjamin W.},
ee = {https://doi.org/10.1002/9780470050118.ecse247},
interhash = {ae7cc43cdf3eed9293ddb4fa76e87280},
intrahash = {764678fe71fe8ecee14dff929534b67f},
keywords = {dblp},
publisher = {John Wiley & Sons, Inc.},
timestamp = {2024-04-10T21:16:50.000+0200},
title = {Model Checking.},
url = {http://dblp.uni-trier.de/db/reference/wiley/wiley2008.html#PeledPS08},
year = 2008
}