Inductive Invariant Checking with Partial Negative Application Conditions (bibtex)
by ,
Reference:
Inductive Invariant Checking with Partial Negative Application Conditions (Johannes Dyck, Holger Giese), Technical report 98, Hasso Plattner Institute, University of Potsdam, 2015.
Bibtex Entry:
@TechReport{DG15_TR,
AUTHOR = {Dyck, Johannes and Giese, Holger},
TITLE = {{Inductive Invariant Checking with Partial Negative Application Conditions}},
YEAR = {2015},
NUMBER = {98},
ADDRESS = {Potsdam, Germany},
INSTITUTION = {Hasso Plattner Institute, University of Potsdam},
}
Powered by bibtexbrowser