Found: 5
Select item for more details and to access through your institution.
PROOF SCORE APPROACH TO ANALYSIS OF ELECTRONIC COMMERCE PROTOCOLS.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2010, v. 20, n. 2, p. 253, doi. 10.1142/S0218194010004712
- By:
- Publication type:
- Article
CRÈME:: AN AUTOMATIC INVARIANT PROVER OF BEHAVIORAL SPECIFICATIONS.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2007, v. 17, n. 6, p. 783, doi. 10.1142/S0218194007003458
- By:
- Publication type:
- Article
SPECIFICATION AND VERIFICATION OF WORKFLOWS WITH RBAC MECHANISM AND SoD CONSTRAINTS.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2007, v. 17, n. 1, p. 3, doi. 10.1142/S0218194007003124
- By:
- Publication type:
- Article
On Proving Operational Termination Incrementally with Modular Conditional Dependency Pairs.
- Published in:
- IAENG International Journal of Computer Science, 2013, v. 40, n. 2, p. 117
- By:
- Publication type:
- Article
Initial semantics in logics with constructors.
- Published in:
- Journal of Logic & Computation, 2015, v. 25, n. 1, p. 95
- By:
- Publication type:
- Article