Inproceedings,
Themulus: A Timed Contract-calculus.
A. García, M. Cambronero, C. Colombo, L. Llana, and G. Pace.MODELSWARD, page 193-204. SCITEPRESS, (2020)
Meta data
- BibTeX key
- conf/modelsward/GarciaCCLP20
- entry type
- inproceedings
- booktitle
- MODELSWARD
- year
- 2020
- pages
- 193-204
- publisher
- SCITEPRESS
- crossref
- conf/modelsward/2020
- ee
- https://doi.org/10.5220/0008878001930204
- isbn
- 978-989-758-400-8
- url
- http://dblp.uni-trier.de/db/conf/modelsward/modelsward2020.html#GarciaCCLP20
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/modelsward/GarciaCCLP20
%A García, Alberto Aranda
%A Cambronero, María-Emilia
%A Colombo, Christian
%A Llana, Luis
%A Pace, Gordon J.
%B MODELSWARD
%D 2020
%E Hammoudi, Slimane
%E Pires, Luís Ferreira
%E Selic, Bran
%I SCITEPRESS
%K dblp
%P 193-204
%T Themulus: A Timed Contract-calculus.
%U http://dblp.uni-trier.de/db/conf/modelsward/modelsward2020.html#GarciaCCLP20
%@ 978-989-758-400-8
@inproceedings{conf/modelsward/GarciaCCLP20,
added-at = {2022-01-03T00:00:00.000+0100},
author = {García, Alberto Aranda and Cambronero, María-Emilia and Colombo, Christian and Llana, Luis and Pace, Gordon J.},
biburl = {https://www.bibsonomy.org/bibtex/2a5e2001f5c15c7c21ffd22a810ed7d4f/dblp},
booktitle = {MODELSWARD},
crossref = {conf/modelsward/2020},
editor = {Hammoudi, Slimane and Pires, Luís Ferreira and Selic, Bran},
ee = {https://doi.org/10.5220/0008878001930204},
interhash = {6413065a62dfbd61d3e30a744be6e57e},
intrahash = {a5e2001f5c15c7c21ffd22a810ed7d4f},
isbn = {978-989-758-400-8},
keywords = {dblp},
pages = {193-204},
publisher = {SCITEPRESS},
timestamp = {2024-04-09T10:02:13.000+0200},
title = {Themulus: A Timed Contract-calculus.},
url = {http://dblp.uni-trier.de/db/conf/modelsward/modelsward2020.html#GarciaCCLP20},
year = 2020
}