Jump to Navigation

Abstract model checking of TCCP programs

TitleAbstract model checking of TCCP programs
Publication TypeJournal Article
Year of Publication2005
AuthorsFrasnedo, M. Alpuente, M-del-M. Gallardo, E. Pimentel, and A. Villanueva Garcia
JournalElectronic Notes in Theoretical Computer Science
Volume112
Pagination19–36
Date Publisheddec
PublisherElsevier
ISSN1571-0661


Main menu 2

Biblio | by Dr. Radut