|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
FRAMES NO FRAME |
paolini2017mscs (Article) | |
Author(s) | Luca Paolini, Mauro Piccolo and Simona Ronchi Della Rocca |
Title | « Essential and relational models » |
Journal | Mathematical Structures in Computer Science |
Volume | 27 |
Number | 5 |
Page(s) | 626–650 |
Year | 2017 |
ISSN number | 1469-8072 |
URL | http://journals.cambridge.org/article_S0960129515000316 |
Note | Cambridge University Press, UK |
Download the complete article:
BibTeX code |
@article{paolini2017mscs,
number = {5},
volume = {27},
issn = {1469-8072},
author = {Paolini, Luca and Piccolo,Mauro and Ronchi Della Rocca, Simona},
note = {Cambridge University Press, UK},
url = {http://journals.cambridge.org/article\_S0960129515000316},
localfile = {http://www.di.unito.it/~paolini/papers/essential2015.pdf},
title = {Essential and relational models},
tag = {Mathematical Structures in Computer Science},
publisher = {Cambridge University Press},
doi = {10.1017/S0960129515000316},
pages = {626–650},
journal = {Mathematical Structures in Computer Science},
year = {2017},
}
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
FRAMES NO FRAME |
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)