Jump to Navigation

A Semantic framework for the abstract model checking ot tccp programs

TitleA Semantic framework for the abstract model checking ot tccp programs
Publication TypeConference Paper
Year of Publication2005
AuthorsFrasnedo, M. Alpuente, M-del-M. Gallardo, E. Pimentel, and A. Villanueva Garcia
Conference NameFrancisco Javier López Fraguas (Ed.). Actas de las V Jornadas sobre Programación y Lenguajes. PROLE 2005: Simposio 10 del I Congreso Español de Informática (CEDI 2005), Granada 13 al 16 de Septiembre de 2005
Date Publishedfeb
PublisherThomson
Conference LocationMadrid
ISBN Number84-9732-438-2


Main menu 2

Biblio | by Dr. Radut