Layering distributed algorithms within the B-Method

Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

2 Citeringar (Scopus)
OriginalspråkEngelska
Titel på gästpublikationProceedings of the 2nd International B Conference,
FörlagSpringer Verlag
Sidor243-260
StatusPublicerad - 1998
MoE-publikationstypA4 Artikel i en konferenspublikation

Publikationsserier

NamnLecture Notes in Computer Science
FörlagSpringer Verlag
Volym1393

Citera det här