Home | deutsch  | Legals | Sitemap | KIT

Semi-external LTL model checking

Semi-external LTL model checking
Conference:

CAV 2008

Page(s):530-542
Location:Princeton Links:PDF
Date:July 2008
Author(s):

S. Edelkamp, P. Sanders, P. Simecek