Exportar referência
APA
José Luiz Fiadeiro, Ionu? ?u?u, Antónia Lopes, Dusko Pavlovic, (2019). Logics for Actor Networks: A two-stage constrained-hybridisation approach. Journal of Logical and Algebraic Methods in Programming, 106, 141-166. ISSN 2352-2208. eISSN . http://dx.doi.org/10.1016/j.jlamp.2019.05.001
IEEE
José Luiz Fiadeiro, Ionu? ?u?u, Antónia Lopes, Dusko Pavlovic, "Logics for Actor Networks: A two-stage constrained-hybridisation approach" in Journal of Logical and Algebraic Methods in Programming, vol. 106, pp. 141-166, 2019.
10.1016/j.jlamp.2019.05.001
BIBTEX
@article{40646,
author = {José Luiz Fiadeiro and Ionu? ?u?u and Antónia Lopes and Dusko Pavlovic},
title = {Logics for Actor Networks: A two-stage constrained-hybridisation approach},
journal = {Journal of Logical and Algebraic Methods in Programming},
year = 2019,
pages = {141-166},
volume = 106
}