Modification date 26 June 2014 03:43:26
From CERES
A list of all pages that have property "Modification dateThis property is a special property in this wiki." with value "26 June 2014 03:43:26".
Since there have been only a few results, also nearby values are displayed.
- Publications:Towards Model-Based Testing of Electronic Funds Transfer Systems + (26 June 2014 03:43:20)
- Publications:Reconstruction and verification of group membership protocols + (26 June 2014 03:43:20)
- Publications:Formal specification and analysis of accelerated heartbeat protocols + (26 June 2014 03:43:21)
- Publications:Formal Verification of Unreliable Failure Detectors in Partially Synchronous Systems + (26 June 2014 03:43:21)
- Publications:Fundamental Approaches to Behavioral Modeling and Model-Based Testing of Software Product Lines + (26 June 2014 03:43:22)
- Publications:Modular Semantics for Transition System Specifications with Negative Premises + (26 June 2014 03:43:22)
- Publications:Nominal SOS + (26 June 2014 03:43:23)
- Publications:A rule format for associativity + (26 June 2014 03:43:23)
- Publications:Interpreted Systems Semantics for Process Algebra with Identity Annotations + (26 June 2014 03:43:24)
- Publications:Operational and epistemic approaches to protocol analysis : Bridging the gap + (26 June 2014 03:43:25)
- Publications:Operational and epistemic approaches to protocol analysis : bridging the gap + (26 June 2014 03:43:25)
- Publications:Algebraic Meta-Theory of Processes with Data + (26 June 2014 03:43:26)
- Publications:Throughput analysis of synchronous data flow graphs + (26 June 2014 03:43:26)
- Publications:Towards model checking executable UML specifications in mCRL2 + (26 June 2014 03:43:27)
- Publications:Automated Verification of Executable UML Models + (26 June 2014 03:43:27)
- Publications:Restricted delegation and revocation in language-based security : (Position paper) + (26 June 2014 03:43:28)
- Publications:Process algebraic verification of SystemC codes + (26 June 2014 03:43:28)
- Publications:Sarir : a Rebeca to mCRL2 translator + (26 June 2014 03:43:29)
- Publications:Application of process algebraic verification and reduction techniques to SystemC designs + (26 June 2014 03:43:29)
- Publications:A framework for performance evaluation and functional verification in stochastic process algebras + (26 June 2014 03:43:30)
- Publications:Formal analysis of systemc designs in process algebra + (26 June 2014 03:43:31)
- Publications:Early Fault Detection in DSLs using SMT Solving and Automated Debugging + (26 June 2014 03:43:32)
