C. Mauras

According to our database, C. Mauras authored at least 1 paper in 1990.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1990

Tautology Checking Using Cross-Controllability and Cross-Observability Relations.

Eduard Cerny, C. Mauras

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 1990