C. Mauras

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1990

1 Eduard Cerny, C. Mauras: Tautology Checking Using Cross-Controllability and Cross-Observability Relations. ICCAD 1990: 34-37

	1990
1		Eduard Cerny, C. Mauras: Tautology Checking Using Cross-Controllability and Cross-Observability Relations. ICCAD 1990: 34-37

Coauthor Index