Hiroaki Shimizu

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2008

1 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		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