Metadata only
Author
Date
2003-10Type
- Journal Article
ETH Bibliography
yes
Altmetrics
Publication status
publishedExternal links
Journal / series
Information Processing LettersVolume
Pages / Article No.
Publisher
ElsevierSubject
Concurrency; Formal languages; Software design; Circuit designMore
Show all metadata
ETH Bibliography
yes
Altmetrics