LP98

Y. Ledru, M.-L. Potet. A VDM specification of the steam-boiler problem. In Steam-Boiler Case Study, pp. 283-317, Springer, 1996.

Contact

Yves Ledru
Marie-Laure Potet

Référence BibTex

@InCollection{LP98,
   Author = {Ledru, Y. and Potet, M.-L.},
   Title = {A {VDM} specification of the steam-boiler problem},
   BookTitle = {Steam-Boiler Case Study},
   Pages = {283--317},
   Publisher = {Springer},
   Year = {1996}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)