Jump to Navigation

A Semantic framework for the abstract model checking of TCCP programs

TitleA Semantic framework for the abstract model checking of TCCP programs
Publication TypeJournal Article
Year of Publication2005
AuthorsFrasnedo, M. Alpuente, M-del-M. Gallardo, E. Pimentel, and A. Villanueva Garcia
JournalTheoretical Computer Science
Volume346
Pagination58–95
Date Publishedoct
PublisherElsevier
ISSN0304-3975


Main menu 2

Biblio | by Dr. Radut