On-the-fly verification of finite transition systems Jean-Claude FernandezLaurent MounierThierry Jéron OriginalPaper Pages: 251 - 273
Memory-efficient algorithms for the verification of temporal properties C. CourcoubetisM. VardiM. Yannakakis OriginalPaper Pages: 275 - 288