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/iceccs/GallardoMJS07
%A del Mar Gallardo, María
%A Merino, Pedro
%A Joubert, Christophe
%A Sanán, David
%B ICECCS
%D 2007
%I IEEE Computer Society
%K dblp
%P 321-329
%T On-the-fly model checking for C programs with extended CADP in FMICS-jETI.
%U http://dblp.uni-trier.de/db/conf/iceccs/iceccs2007.html#GallardoMJS07
%@ 978-0-7695-2895-3
@inproceedings{conf/iceccs/GallardoMJS07,
added-at = {2023-03-24T00:00:00.000+0100},
author = {del Mar Gallardo, María and Merino, Pedro and Joubert, Christophe and Sanán, David},
biburl = {https://www.bibsonomy.org/bibtex/2e6ae2e16689cf09c4ac13d230828d919/dblp},
booktitle = {ICECCS},
crossref = {conf/iceccs/2007},
ee = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2007.32},
interhash = {b368c5b837a6bf8d0d1d2745b95cacea},
intrahash = {e6ae2e16689cf09c4ac13d230828d919},
isbn = {978-0-7695-2895-3},
keywords = {dblp},
pages = {321-329},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T08:31:02.000+0200},
title = {On-the-fly model checking for C programs with extended CADP in FMICS-jETI.},
url = {http://dblp.uni-trier.de/db/conf/iceccs/iceccs2007.html#GallardoMJS07},
year = 2007
}