Layering distributed algorithms within the B-Method

Research output: Chapter in Book/Conference proceeding › Published conference proceeding › Scientific › peer-review

3 Citations (Scopus)

Original language	English
Title of host publication	Proceedings of the 2nd International B Conference,
Publisher	Springer Verlag
Pages	243-260
Publication status	Published - 1998
MoE publication type	A4 Article in a conference publication

Name	Lecture Notes in Computer Science
Publisher	Springer Verlag
Volume	1393

Cite this