%0 Conference Paper %B Computer Aided Verification %D 1997 %T Symbolic model checking of infinite state systems using Presburger arithmetic %A Bultan,T. %A Gerber,R. %A Pugh, William %B Computer Aided Verification %P 400 - 411 %8 1997/// %G eng