External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Towards Formal Verification of ToolBusScripts

Wan Fokkink, Paul Klint, Bert Lisser, Yaroslav S. Usenko. Towards Formal Verification of ToolBusScripts. In José Meseguer, Grigore Rosu, editors, Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings. Volume 5140 of Lecture Notes in Computer Science, pages 160-166, Springer, 2008. [doi]

Authors

Wan Fokkink

Identified as Wan Fokkink

Paul Klint

Identified as Paul Klint

Bert Lisser

This author has not been identified. Look up 'Bert Lisser' in Google

Yaroslav S. Usenko

This author has not been identified. It may be one of the following persons: Look up 'Yaroslav S. Usenko' in Google
runs on