default search action
BibTeX record 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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.