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 

damiani17fsen (In proceedings)
Author(s) Ferruccio Damiani, Michael Lienhardt and Luca Paolini
Title«  A Formal Model for Multi SPLs  »
In7th IPM International Conference FSEN
SeriesAccepted for pubblication in Lecture Notes in Computer Science.
Year2017
PublisherSpringer, Germany
URLhttp://fsen.ir/2017/AcceptedPapers.aspx

BibTeX code

@inproceedings{damiani17fsen,
  author = { Damiani, Ferruccio and Lienhardt, Michael and Paolini, Luca },
  series = {{Accepted} for pubblication in Lecture Notes in Computer Science. },
  booktitle = {7th IPM International Conference FSEN},
  url = {http://fsen.ir/2017/AcceptedPapers.aspx},
  tag = {Lecture Notes in Computer Science},
  title = { A Formal Model for Multi {SPLs} },
  publisher = {Springer, Germany},
  year = 2017,
}


 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!