Simple bounded LTL model checking

Armin Biere

Research output: Working paper and reports › Research report

Original language	English
Place of Publication	Helsinki University of Technology, Espoo, Finland
Publisher	Helsinki University of Technology, Lab. for Theoretical Comp.Sc.
Number of pages	24
Publication status	Published - Jul 2004

Fields of science

@techreport{2d950d1af39b45bca1d63e62e8ebb75f,

title = "Simple bounded LTL model checking",

author = "Armin Biere",

year = "2004",

month = jul,

language = "English",

publisher = "Helsinki University of Technology, Lab. for Theoretical Comp.Sc.",

type = "WorkingPaper",

institution = "Helsinki University of Technology, Lab. for Theoretical Comp.Sc.",

}