Jump to Navigation

Refinement of LTL formulas for abstract model checking

TitleRefinement of LTL formulas for abstract model checking
Publication TypeConference Paper
Year of Publication2002
AuthorsGallardo, M-del-M., P. Merino, and E. Pimentel
Conference NameManuel V. Hermenegildo and Germán Puebla (Eds.).Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings
Date Publishedoct
PublisherSpringer
Conference LocationBerlin
ISBN Number0302-9743


Main menu 2

Biblio | by Dr. Radut