Hubs for VirtuosoNext: Online verification of real-time coordinators
Hubs for VirtuosoNext: Online verification of real-time coordinators
dc.contributor.author | Proença,J | en |
dc.contributor.author | Guillermina Cledou | en |
dc.contributor.author | Sputh,BH | en |
dc.contributor.author | Verhulst,E | en |
dc.contributor.other | 6193 | en |
dc.date.accessioned | 2020-11-25T16:14:12Z | |
dc.date.available | 2020-11-25T16:14:12Z | |
dc.date.issued | 2020 | en |
dc.description.abstract | en | |
dc.identifier.uri | http://repositorio.inesctec.pt/handle/123456789/11767 | |
dc.identifier.uri | http://dx.doi.org/10.1016/j.scico.2020.102566 | en |
dc.language | eng | en |
dc.rights | info:eu-repo/semantics/openAccess | en |
dc.title | Hubs for VirtuosoNext: Online verification of real-time coordinators | en |
dc.type | Publication | en |
dc.type | article | en |
Files
Original bundle
1 - 1 of 1