|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| paolini09mfps (In proceedings) | |
| Author(s) | Luca Paolini, Mauro Piccolo and Simona Ronchi Della Rocca |
| Title | « Logical Semantics for Stability » |
| In | Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics (MFPS 2009) |
| Series | Electronic Notes in Theoretical Computer Science |
| Editor(s) | Samson Abramsky, Michael W. Mislove and Catuscia Palamidessi |
| Volume | 249 |
| Page(s) | 429-449 |
| Year | 2009 |
| Publisher | Elsevier, Netherlands |
| URL | http://dx.doi.org/10.1016/j.entcs.2009.07.101 |
Download the complete article:
| BibTeX code |
@inproceedings{paolini09mfps,
volume = {249},
author = {Paolini, Luca and Piccolo, Mauro and Ronchi Della Rocca, Simona},
series = {Electronic Notes in Theoretical Computer Science},
booktitle = {Proceedings of the 25th Conference on Mathematical Foundations of
Programming Semantics (MFPS 2009)},
editor = {Samson Abramsky and Michael W. Mislove and Catuscia Palamidessi},
url = {http://dx.doi.org/10.1016/j.entcs.2009.07.101},
tag = {MFPS 2009},
title = {Logical Semantics for Stability},
localfile = {http://www.di.unito.it/~piccolo/pubs/LogicalModelSubmitted.pdf},
publisher = {Elsevier, Netherlands},
pages = {429-449},
year = {2009},
}
|
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)
