BLPR-icfem09

N. Bertrand, A. Legay, S. Pinchinat, J.-B. Raclet. A Compositional Approach on Modal Specifications for Timed Systems. In Proc. of the 11th International Conference on Formal Engineering Methods (ICFEM'09), 2009.

Note on this paper

to appear

BibTex Reference

@InProceedings{BLPR-icfem09,
   Author = {N. Bertrand, and Legay, A. and Pinchinat, S. and Raclet, J.-B.},
   Title = {A Compositional Approach on Modal Specifications for Timed Systems},
   BookTitle = {Proc. of the 11th International Conference on Formal Engineering Methods (ICFEM'09)},
   Publisher = {Springer},
   Year = {2009}
}

EndNote Reference [help]

Get EndNote Reference (.ref)