José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
Special Issue of FACS 2017
José Proença
,
Markus Lumpe
January 2020
Cite
SCP
Type
Book
Publication
Science of Computer Programming, Elsevier, Volumes 175, 178, 179, 183, 185, 191, 196
Related
Proceedings of FACS 2017
Lince: Lightweight Prototyping of Hybrid Programs
Verification of Real-Time Coordination in VirtuosoNext (extended version)
Proceedings of FOCLASA@CONCUR 2015
Special Issue of COORDINATION and FORTE 2016
Cite
×