BibTeX record conf/vveis/Hornos04

• > Home > conf/vveis/Hornos04

@inproceedings{DBLP:conf/vveis/Hornos04,
  author       = {Miguel J. Hornos},
  editor       = {Juan Carlos Augusto and
                  Ulrich Ultes{-}Nitsche},
  title        = {Towards a More Intuitive Specification and Automatic Verification
                  of System Properties with {FBT:} {A} Tool for Translating Interval
                  Formulas into B{\"{u}}chi Automata},
  booktitle    = {Verification and Validation of Enterprise Information Systems, Proceedings
                  of the 2nd International Workshop on Verification and Validation of
                  Enterprise Information Systems, {VVEIS} 2004, In conjunction with
                  {ICEIS} 2004, Porto, Portugal, April 2004},
  pages        = {26--33},
  publisher    = {{INSTICC} Press},
  year         = {2004},
  timestamp    = {Fri, 25 Jun 2004 15:11:15 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/Hornos04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}