Search

Home
Events
Projects
Publications
Posts
Research
Teaching
Contact

Special Issue of FACS 2017

José Proença, Markus Lumpe

January 2020

Type

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

© José Proença 2020

Published with Wowchemy — the free, open source website builder that empowers creators.

Cite