Mon, 04/30/2018 - 15:14
Title | On the Fly model checking for C programs with extended CADP in FMICS-jETI |
Publication Type | Conference Paper |
Year of Publication | 2007 |
Authors | Gallardo M-del-M, Merino P, Joubert C, Sanán D |
Conference Name | 12th IEEE International Conference on Engineering Complex Computer Systems, Auckland, New Zealand, July 11-14, 2007. Proceedings |
Date Published | nov |
Publisher | IEEE Computer Society |
Conference Location | Los Alamitos, California |
ISBN Number | 0-7695-2895-3 |