Masato Notomi Vis

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

* 1994

2 EE Masato Notomi, Tadao Murata: Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis. IEEE Trans. Software Eng. 20(5): 325-336 (1994)

1992

1 Masato Notomi, Tadao Murata: Hierarchically Organized Petri Net State Space for Reachability and Deadlock Analysis. IPPS 1992: 616-623

*	1994
2	EE	Masato Notomi, Tadao Murata: Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis. IEEE Trans. Software Eng. 20(5): 325-336 (1994)
	1992
1		Masato Notomi, Tadao Murata: Hierarchically Organized Petri Net State Space for Reachability and Deadlock Analysis. IPPS 1992: 616-623

Coauthor Index

1 Tadao Murata [1] [2]