Layering distributed algorithms within the B-Method

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

2 Citeringar (Scopus)

Originalspråk	Engelska
Titel på värdpublikation	Proceedings of the 2nd International B Conference,
Förlag	Springer Verlag
Sidor	243-260
Status	Publicerad - 1998
MoE-publikationstyp	A4 Artikel i en konferenspublikation

Namn	Lecture Notes in Computer Science
Förlag	Springer Verlag
Volym	1393

Citera det här