|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| ADGHHISST16 (Article) | |
| Author(s) | Luca Aceto, Mariangiola Dezani-Ciancaglini, Yuri Gurevich, David Harel, Monika Henzinger, Giuseppe F. Italiano, Scott A. Smolka, Paul G. Spirakis and Wolfgang Thomas |
| Title | « EATCS Fellows' Advice to the Young Theoretical Computer Scientist » |
| Journal | Bulletin of the EATCS |
| Volume | 119 |
| Year | 2016 |
| URL | http://bulletin.eatcs.org/index.php/beatcs/article/view/419 |
| BibTeX code |
@article{ADGHHISST16,
volume = {119},
url = {http://bulletin.eatcs.org/index.php/beatcs/article/view/419},
title = {{EATCS} Fellows' Advice to the Young Theoretical Computer Scientist},
author = {Luca Aceto and Mariangiola Dezani{-}Ciancaglini and Yuri Gurevich
and David Harel and Monika Henzinger and Giuseppe F. Italiano and
Scott A. Smolka and Paul G. Spirakis and Wolfgang Thomas},
year = {2016},
journal = {Bulletin of the {EATCS}},
}
|
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)