A
Menu
March 01, 2007 conference-paper

Using Weak Bisimulation for Enterprise Integration Architecture Formal Verification--I

IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS)

DOI: 10.1109/ecbs.2007.75 OpenAlex

Authors 0

  1. Author list not loaded yet.

Cited by 0 stored of 0

References 1

1 result