Hiroaki Shimizu Vis

List of publications from the DBLP Bibliography Server - FAQ

* 2008

1 EE Hiroaki Shimizu, Kiyoharu Hamaguchi, Toshinobu Kashiwabara: Approximate Invariant Property Checking Using Term-Height Reduction for a Subset of First-Order Logic. ATVA 2008: 318-331

*	2008
1	EE	Hiroaki Shimizu, Kiyoharu Hamaguchi, Toshinobu Kashiwabara: Approximate Invariant Property Checking Using Term-Height Reduction for a Subset of First-Order Logic. ATVA 2008: 318-331

Coauthor Index