Proving Reachability Properties by Coinduction (Extended Abstract) | IEEE Conference Publication | IEEE Xplore