Hugging Peers

PROTEF: Automatic Verification of Pattern-Based LTL Templates

☆ Save
Luis García,Steve Roach,Salamah Salamah
SEKE
published

Abstract

No abstract available.

Cite this paper

@article{garca2008,
  title = {PROTEF: Automatic Verification of Pattern-Based LTL Templates},
  author = {Luis García and Steve Roach and Salamah Salamah},
  journal = {SEKE},
  year = {2008},
  month = {Jan},
}