Ales Casar

According to our database, Ales Casar authored at least 1 paper in 1996.

Collaborative distances:

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

1996

Exploiting Partitioned Transition Relations for Efficient Symbolic Model Checking in CTL.

Ales Casar, Zmago Brezocnik, Tatjana Kapus

Proceedings of the 1996 European Design and Test Conference, 1996