Suguru Sasaki

	2006
2		Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino: A Timed Failure Equivalence Preserving Abstraction for Parametric Time-interval Automata. Int. J. Found. Comput. Sci. 17(4): 833-850 (2006)
	2004
1		Tadaaki Tanimoto, Suguru Sasaki, Akio Nakata, Teruo Higashino: A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata. ATVA 2004: 179-195

Coauthor Index

1	Teruo Higashino	[1] [2]
2	Akio Nakata	[1] [2]
3	Tadaaki Tanimoto	[1] [2]