Formal verification of sequential systems with infinitely many states (bibtex)
by J. Obdržálek
Reference:
Formal verification of sequential systems with infinitely many states (J. Obdržálek), Master's thesis, Masaryk University, Brno, 2001.
Bibtex Entry:
@mastersthesis{ObdrzalekMSc,
  author =        {J. Obdr{ž}{á}lek},
  school =        {Masaryk University, Brno},
  title =         {Formal verification of sequential systems with
                   infinitely many states},
  year =          {2001},
  full =          {papers/mscObdrzalek.ps},
}
Powered by bibtexbrowser