Uno Holmer

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1993

2 Uno Holmer: Interpreting Broadcast Communication in SCCS. CONCUR 1993: 188-201

1991

1 Uno Holmer, Kim Guldstrand Larsen, Wang Yi: Deciding Properties of Regular Real Time Processes. CAV 1991: 443-453

1993
2		Uno Holmer: Interpreting Broadcast Communication in SCCS. CONCUR 1993: 188-201
1991
1		Uno Holmer, Kim Guldstrand Larsen, Wang Yi: Deciding Properties of Regular Real Time Processes. CAV 1991: 443-453

Coauthor Index

1 Kim Guldstrand Larsen [1]

2 Wang Yi [1]