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 |