Layering distributed algorithms within the B-Method

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

2 Sitaatiot (Scopus)
AlkuperäiskieliEnglanti
OtsikkoProceedings of the 2nd International B Conference,
KustantajaSpringer Verlag
Sivut243-260
TilaJulkaistu - 1998
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa

Julkaisusarja

NimiLecture Notes in Computer Science
KustantajaSpringer Verlag
Vuosikerta1393

Viittausmuodot