Modification date 26 June 2014 03:43:24
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:24".
Since there have been only a few results, also nearby values are displayed.
- Publications:Impossibility results for the equational theory of timed CCS + (26 June 2014 03:43:18)
- Publications:Proceedings First International Workshop on Process Algebra and Coordination + (26 June 2014 03:43:19)
- Publications:Reconstruction and verification of group membership protocols + (26 June 2014 03:43:20)
- Publications:Towards Model-Based Testing of Electronic Funds Transfer Systems + (26 June 2014 03:43:20)
- Publications:Formal Verification of Unreliable Failure Detectors in Partially Synchronous Systems + (26 June 2014 03:43:21)
- Publications:Formal specification and analysis of accelerated heartbeat protocols + (26 June 2014 03:43:21)
- Publications:Modular Semantics for Transition System Specifications with Negative Premises + (26 June 2014 03:43:22)
- Publications:Fundamental Approaches to Behavioral Modeling and Model-Based Testing of Software Product Lines + (26 June 2014 03:43:22)
- Publications:A rule format for associativity + (26 June 2014 03:43:23)
- Publications:Nominal SOS + (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:Throughput analysis of synchronous data flow graphs + (26 June 2014 03:43:26)
- Publications:Algebraic Meta-Theory of Processes with Data + (26 June 2014 03:43:26)
- Publications:Automated Verification of Executable UML Models + (26 June 2014 03:43:27)
- Publications:Towards model checking executable UML specifications in mCRL2 + (26 June 2014 03:43:27)
- Publications:Process algebraic verification of SystemC codes + (26 June 2014 03:43:28)
- Publications:Restricted delegation and revocation in language-based security : (Position paper) + (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)
