Skip to content
  • Ayesha Abed Library
  • Language
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • Čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • বাংলা
    • Galego
    • Tiếng Việt
    • Hrvatski
    • हिंदी
    • Հայերէն
    • Українська
Advanced
  • Proceedings of the Internation...
  • Cite this
  • Email this
  • Print
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
    • Export to MARC
    • Export to MARCXML
    • Export to BibTeX
  • Permanent link
Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems

Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems

Bibliographic Details
Format: Electronic Book
Language:English
Published: Association for Computing Machinery (ACM), 9/4/16
Subjects:
Conference papers and proceedings.
Online Access:Full text available on Research4Life (ACM)
Classic Catalogue: View this record in Classic Catalogue
  • Holdings
  • Description
  • Similar Items
  • Staff View

Internet

Full text available on Research4Life (ACM)

Similar Items

  • Formal Methods for Dynamical Systems
    Published: (2013)
  • Formal Methods in System Design
  • Proceedings of the second workshop on Automated formal methods
  • Integrated Formal Methods
    Published: (2013)
  • NASA Formal Methods
    Published: (2013)

Search Options

  • Search History
  • Advanced Search

Find More

  • Browse the Catalog
  • Explore Channels

Need Help?

  • Search Tips
  • FAQs