Shougo Ogata

According to our database, Shougo Ogata authored at least 1 paper in 2004.

Collaborative distances:

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

2004

SAT-Based Verification of Safe Petri Nets.

Shougo Ogata, Tatsuhiro Tsuchiya, Tohru Kikuno

Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004