Modification date 26 June 2014 03:43:21
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:21".
Since there have been only a few results, also nearby values are displayed.
- Publications:Rule Formats for Determinism and Idempotence + (26 June 2014 03:43:15)
- Publications:Rule Formats for Distributivity + (26 June 2014 03:43:15)
- Publications:SOS Rule Formats for Zero and Unit Elements + (26 June 2014 03:43:16)
- Publications:On rule formats for zero and unit elements + (26 June 2014 03:43:16)
- Publications:Rule formats for distributivity + (26 June 2014 03:43:17)
- Publications:Exploiting Algebraic Laws to Improve Mechanized Axiomatizations + (26 June 2014 03:43:17)
- Publications:Impossibility results for the equational theory of timed CCS + (26 June 2014 03:43:18)
- Publications:A rule format for unit elements + (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: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)
