Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

tipoIC-DamiGiacGianCazz:sadt-08:ICSOFT-06 (In a collection)
Author(s) Ferruccio Damiani, Elena Giachino, Paola Giannini and Emanuele Cazzola
Title« On state classes and their dynamic semantics »
InSoftware and Data Technologies (ICSOFT 2006, Revised Selected Papers)
SeriesCommunications in Computer and Information Science
Volume10
Page(s)84-96
Year2008
PublisherSpringer
URLhttp://www.di.unito.it/~damiani/papers/RSPicsoft06.html
Notehttp://www.springer.com/computer/programming/book/978-3-540-70619-9

BibTeX code

@incollection{tipoIC-DamiGiacGianCazz:sadt-08:ICSOFT-06,
  volume = {10},
  author = {Damiani, Ferruccio and Giachino, Elena and Giannini, Paola and
            Cazzola, Emanuele},
  note = {http://www.springer.com/computer/programming/book/978-3-540-70619-9},
  series = {Communications in Computer and Information Science},
  booktitle = {Software and Data Technologies (ICSOFT 2006, Revised Selected
               Papers)},
  url = {http://www.di.unito.it/~damiani/papers/RSPicsoft06.html},
  tag = {Software and Data Technologies (First International Conference, ICSOFT
         2006, Revised Selected Papers), Communications in Computer and
         Information Science, volume 10, pages 84-96, Springer
         (http://www.springer.com/computer/programming/book/978-3-540-70619-9)},
  title = {On state classes and their dynamic semantics},
  publisher = {Springer},
  year = {2008},
  pages = {84-96},
}


 Chronological Overview 
 Type-Hierarchical Overview 
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)

Valid HTML 4.01!