Gunnar Wittich

List of publications from the DBLP Bibliography Server - FAQ

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

1998

2 Udo Brockmeyer, Gunnar Wittich: Real-Time Verification of Statemate Designs. CAV 1998: 537-541

1 EE Udo Brockmeyer, Gunnar Wittich: Tamagotchis Need Not Die - Verification of STATEMENT Design. TACAS 1998: 217-231

1998
2		Udo Brockmeyer, Gunnar Wittich: Real-Time Verification of Statemate Designs. CAV 1998: 537-541
1	EE	Udo Brockmeyer, Gunnar Wittich: Tamagotchis Need Not Die - Verification of STATEMENT Design. TACAS 1998: 217-231

Coauthor Index

1 Udo Brockmeyer [1] [2]