Kazuya Morihara

According to our database, Kazuya Morihara authored at least 1 paper in 2020.

Collaborative distances:

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

2020

An SMT-Based Perfect Sampling Algorithm for Stochastic Petri Nets.

Hiroyuki Okamura, Kazuya Morihara, Tadashi Dohi

Proceedings of the VALUETOOLS 2020: 13th EAI International Conference on Performance Evaluation Methodologies and Tools, 2020