Rialto to B: An Exercise in Formal Development of a Language for Multiple Models of Computation

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

Alkuperäiskieli	Ei tiedossa
Otsikko	Fourth International Conference on Application of Concurrency to System Design
Kustantaja	IEEE Computer Society
Sivut	–
Tila	Julkaistu - 2004
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	conference - Kesto: 1 tammik. 2010 → …

Konferenssi	conference
Ajanjakso	01/01/10 → …

Viittausmuodot

@inproceedings{d5b8502b3a8c4395bc2c16035e329af4,

title = "Rialto to B: An Exercise in Formal Development of a Language for Multiple Models of Computation",

author = "D Bj{\"o}rklund and Johan Lilius",

year = "2004",

language = "Odefinierat/ok{\"a}nt",

pages = "–",

booktitle = "Fourth International Conference on Application of Concurrency to System Design",

publisher = "IEEE Computer Society",

note = "conference ; Conference date: 01-01-2010",

}

Rialto to B: An Exercise in Formal Development of a Language for Multiple Models of Computation. / Björklund, D; Lilius, Johan.
Fourth International Conference on Application of Concurrency to System Design. IEEE Computer Society, 2004. s. –.

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu