Primary tabs

Most recent publications

Formal Aspects of Computing 9 (1997): 98-118,.
Journal Article
1997
BIT 33 (1993): 596-618,.
Journal Article
1993

News

Find publication

Status

Year published