Search
1 heading found for n 84223313
Heading | Type | Sample Title | |
---|---|---|---|
1 |
Reichel, Horst.
Reichel, Horst, 1941- Horst Reichel |
Personal | Algebraic observational equivalence and open-map bisimilarity STACS 2001 18th annual Symposium on Theoretical Aspects of Computer Science, Dre ... |