Jean-François Pétin, Gérard Morel, Dominique Méry, Patrick Lamboley. Process Control Engineering: Contribution to a Formal Structuring Framework with the B Method. In Didier Bert, editor, B 98: Recent Advances in the Development and Use of the B Method, Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings. Volume 1393 of Lecture Notes in Computer Science, pages 198-209, Springer, 1998. [doi]
@inproceedings{PetinMML98,
title = {Process Control Engineering: Contribution to a Formal Structuring Framework with the B Method},
author = {Jean-François Pétin and Gérard Morel and Dominique Méry and Patrick Lamboley},
year = {1998},
url = {http://link.springer.de/link/service/series/0558/bibs/1393/13930198.htm},
researchr = {https://researchr.org/publication/PetinMML98},
cites = {0},
citedby = {0},
pages = {198-209},
booktitle = {B 98: Recent Advances in the Development and Use of the B Method, Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings},
editor = {Didier Bert},
volume = {1393},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-64405-9},
}