Jump to Navigation

Verifying abstract LTL properties on concurrent systems

TitleVerifying abstract LTL properties on concurrent systems
Publication TypeConference Paper
Year of Publication2002
AuthorsGallardo, M-del-M., P. Merino, and E. Pimentel
Conference NameProc. of International Conference on Integrated Design and Process Technology (IDPT 2002)
Date Publishedjun
PublisherSociety for Design and Process Science


Main menu 2

Biblio | by Dr. Radut