Publisher Technische Universiteit Eindhoven
From CERES
A list of all pages that have property "Publisher" with value "Technische Universiteit Eindhoven"
- Publications:A rule format for unit elements +
- Publications:Analytical software design : introduction and industrial experience report +
- Publications:Application of process algebraic verification and reduction techniques to SystemC designs +
- Publications:Decompositional reasoning about the history of parallel processes +
- Publications:Formal specification and analysis of accelerated heartbeat protocols +
- Publications:On rule formats for zero and unit elements +
- Publications:Operational and epistemic approaches to protocol analysis : Bridging the gap +
- Publications:Proceedings of Formal Methods 2009 Doctoral Symposium : November 6, 2009: Eindhoven, The Netherlands +
- Publications:Reconstruction and verification of group membership protocols +
- Publications:Robustness of behavioral equivalence on open terms +
- Publications:Rule formats for distributivity +
- Publications:Semantics and expressiveness of ordered SOS +
