Works matching IS 14332779 AND DT 2013 AND VI 15 AND IP 2
Results: 4
CADP 2011: a toolbox for the construction and analysis of distributed processes.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2013, v. 15, n. 2, p. 89, doi. 10.1007/s10009-012-0244-z
- By:
- Publication type:
- Article
Tools for software verification.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2013, v. 15, n. 2, p. 85, doi. 10.1007/s10009-013-0270-5
- By:
- Publication type:
- Article
Model-checking web services business activity protocols.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2013, v. 15, n. 2, p. 125, doi. 10.1007/s10009-012-0231-4
- By:
- Publication type:
- Article
Büchi Store: an open repository of $$\omega $$-automata.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2013, v. 15, n. 2, p. 109, doi. 10.1007/s10009-012-0268-4
- By:
- Publication type:
- Article