Jump to Navigation

Verifying real-time properties of tccp programs

TitleVerifying real-time properties of tccp programs
Publication TypeJournal Article
Year of Publication2006
AuthorsFrasnedo, M. Alpuente, M-del-M. Gallardo, E. Pimentel, and A. Villanueva Garcia
JournalJournal of Universal Computer Science
Volume12
Pagination1551–1573
Date Publishednov
PublisherGraz University of Technology
ISSN0948-695X


Main menu 2

Biblio | by Dr. Radut