First Page | Meta Content | |
---|---|---|
Document Date: 2006-08-26 05:21:04Open Document File Size: 58,63 KBShare Result on FacebookCitySeattle / /IndustryTerminfinite state systems / model-checking technology / to other applications / finite state systems / state systems / /PersonJohn Rushby / Joseph Kiniry / John Rushby / SR / /ProgrammingLanguageLisp / /Technologymodel-checking technology / CAV / /SocialTag |