Jump to Navigation

C.OPEN, a tool for analyzing C code in CADP

TitleC.OPEN, a tool for analyzing C code in CADP
Publication TypeConference Paper
Year of Publication2007
AuthorsGallardo, M-del-M., P. Merino, and D. Sanán
Conference NameMaría del Mar Gallardo Melgarejo y Pedro Merino Gómez (Eds.). Actas de las XV Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2007, Torremolinos, Málaga, del 6 al 8 de Junio
Date Publishednov
ISBN Number978-84-690-6109-1


Main menu 2

Biblio | by Dr. Radut