Verification Based on Local States.

Michaela Huhn Peter Niebert Frank Wallner Verification Based on Local States. 36-51 http://link.springer.de/link/service/series/0558/bibs/1384/13840036.htm 1998 conf/tacas/1998 TACAS db/conf/tacas/tacas98.html#HuhnNW98