Stefan Strubbe (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2 Stefan Strubbe, Rom Langerak: A Composition Operator for Systems with Active and Passive Actions. FORTE 2005: 24-37

Selection of 1 from 2 records - Stefan Strubbe has 2 coauthors