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 

beek15sefm (In proceedings)
Author(s) Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti and Luca Paolini
Title« From Featured Transition Systems to Modal Transition Systems with Variability Constraints »
In13th International Conference SEFM 2015
SeriesLecture Notes in Computer Science
Editor(s) Radu Calinescu and Bernhard Rumpe
Volume9276
Page(s)344--359
Year2015
PublisherSpringer, Germany
URLhttp://dx.doi.org/10.1007/978-3-319-22969-0_24

BibTeX code

@inproceedings{beek15sefm,
  volume = {9276},
  author = {Maurice H. ter Beek and Ferruccio Damiani and Stefania Gnesi and
            Franco Mazzanti and Luca Paolini},
  series = {Lecture Notes in Computer Science},
  booktitle = {13th International Conference {SEFM} 2015},
  editor = {Radu Calinescu and Bernhard Rumpe},
  url = {http://dx.doi.org/10.1007/978-3-319-22969-0_24},
  tag = {LNCS},
  title = {From Featured Transition Systems to Modal Transition Systems with
           Variability Constraints},
  publisher = {Springer, Germany},
  doi = {10.1007/978-3-319-22969-0_24},
  pages = {344--359},
  year = {2015},
}


 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!