Back to Results
First PageMeta Content
Model checkers / Corporate finance / Economy / Business / Promela / SPIN model checker / Model checking / Long-running transaction / Factoring / Mergers and acquisitions / Cost


Proceedings of the International MultiConference of Engineers and Computer Scientists 2012 Vol II, IMECS 2012, March, 2012, Hong Kong Modelling and Verification of Compensating Transactions using the Spin Tool Ka
Add to Reading List

Document Date: 2013-12-16 08:28:50

Open Document

File Size: 624,29 KB

Share Result on Facebook
UPDATE