Anatol Ursu

According to our database, Anatol Ursu authored at least 4 papers between 1996 and 2007.

Collaborative distances:

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

2007

Latch Inference for Equivalence Checking.

Anatol Ursu

Proceedings of the 3rd International Workshop on Reconfigurable Communication-centric Systems-on-Chip, 2007

1997

Design of the Sequential System Automata using Temporal Equivalence Classes.

Anatol Ursu, Gabriela Gruita, Sergiu Zaporojan

Comput. Sci. J. Moldova, 1997

Design and verification of the sequential systems automata using temporal logic specifications.

Anatol Ursu, Gabriela Gruita, Sergiu Zaporojan

Proceedings of the European Design and Test Conference, 1997

1996

Design of the real time systems using temporal logic specifications: a case study.

Anatol Ursu, V. Dubenetsky, Gabriela Gruita

Comput. Sci. J. Moldova, 1996