Modification date 26 June 2014 03:43:42
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:42".
Since there have been only a few results, also nearby values are displayed.
- Publications:Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks. + (26 June 2014 03:43:36)
- Publications:Causality in the semantics of Esterel : revisited + (26 June 2014 03:43:36)
- Publications:Semantics and expressiveness of ordered SOS + (26 June 2014 03:43:37)
- Publications:Special issue: software verification and testing + (26 June 2014 03:43:37)
- Publications:Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures + (26 June 2014 03:43:38)
- Publications:Specoal Issue on foundations of coordination languages and software architectures (selected papers from FOCLASA'11) : Foreword + (26 June 2014 03:43:38)
- Publications:On well-foundedness and expressiveness of promoted tyft : being promoted makes a difference + (26 June 2014 03:43:39)
- Publications:Prototyping SOS meta-theory in Maude + (26 June 2014 03:43:40)
- Publications:A Congruence Rule Format with Universal Quantification + (26 June 2014 03:43:40)
- Publications:A syntactic commutativity format for SOS + (26 June 2014 03:43:41)
- Publications:SOS formats and meta-theory : 20 years after + (26 June 2014 03:43:41)
- Publications:Notions of bisimulation and congruence formats for SOS with data + (26 June 2014 03:43:42)
- Publications:Orthogonal extensions in structural operational semantics + (26 June 2014 03:43:42)
- Publications:Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures : Paris, France, 4th September 2010 + (26 June 2014 03:43:43)
- Publications:PARS : a process algebraic approach to resources and schedulers + (26 June 2014 03:43:43)
- Publications:Proceedings of Formal Methods 2009 Doctoral Symposium : November 6, 2009: Eindhoven, The Netherlands + (26 June 2014 03:43:44)
- Publications:Synchrony and asynchrony in conformance testing + (26 June 2014 03:43:45)
- Publications:Synchronizing Asynchronous Conformance Testing + (26 June 2014 03:43:45)
- Publications:Decomposability in Input Output Conformance Testing + (26 June 2014 03:43:46)
- Publications:On the Complexity of Input Output Conformance Testing + (26 June 2014 03:43:46)
- Publications:Analytical software design : introduction and industrial experience report + (26 June 2014 03:43:47)
- Publications:Checking and deriving module paths in Verilog cell library descriptions + (26 June 2014 03:43:47)