Computing science reports / Eindhoven University of Technology, Department of Mathematics and Computing Science
Naam uitgever varieert
| rdfs:label | "Computing science reports / Eindhoven University of Technology, Department of Mathematics and Computing Science" |
| schema:name | "Computing science reports" |
| schema:author | Department of Mathematics and Computing Science (Eindhoven ; 1986-....) |
| schema:contributor | Department of Computing Science (Eindhoven ; 1994-....) |
| schema:description | "Naam uitgever varieert" |
|
schema:same |
<http:/ |
|
schema:main |
<https:/ |
|
http:/ |
"1994" |
|
schema:in |
"en" |
| schema:publication |
<https:/ |
Inverse relations
[ .. ] → schema:isPartOf → Computing science reports / Eindhoven University of Technology, Department of Mathematics and Computing Science
7e Nederlandse testdag / by L.M.G. Feijs ... [et al.] (eds.)schema:ProductModel
A brief history of process algebra / by J.C.M. Baetenschema:ProductModel
A case study in formal methods : specification and validation of the OM/RR protocol / Tim Willemse, Jan Tretmans, and Arjen Klompschema:ProductModel
A checker for modal formulas for processes with data / by Jan Friso Groote and Tim A.C. Willemseschema:ProductModel
A class of Petri nets for modeling and analyzing business processes / by W.M.P. van der Aalstschema:ProductModel
A computer checked algebraic verification of a distributed summation algorithm / by J.F. Groote, F. Monin and J. Springintveldschema:ProductModel
A conservative look at term deduction systems with variable binding / by Wan Fokkink and Chris Verhoefschema:ProductModel
A correspondence between Nuprl and the ramified theory of types / by Fairouz Kamareddine and Twan Laanschema:ProductModel
A discretisation method for asynchonous timed systems / by B. Knaack and Rob Gerthschema:ProductModel
A distributed spanning tree algorithm for topology-aware networks / by Arjan J. Mooij, Nicolae Goga and Wieger Wesselinkschema:ProductModel
A formal analysis of a dynamic distributed spanning tree algorithm / by Arjan J. Mooij and Wieger Wesselinkschema:ProductModel
A formal development of distributed summation / Rob R. Hoogerwoordschema:ProductModel
A formal specification of deadlines using dynamic deontic logic / F. Dignum, H. Weigand and E. Verharenschema:ProductModel
A formalization of the ramified type theory / by Twan Laanschema:ProductModel
A framework for component based software architectures / by K.M. van Hee ... [et al.]schema:ProductModel
A hierarchy of communication models for message sequence charts / by A. Engels, S. Mauw and M.A. Reniersschema:ProductModel
A new equivalence for processes with timing / by J.C.M. Baeten, C.A. Middelburg and M.A. Reniersschema:ProductModel
A partial order approach to branching time logic model checking / by R. Gerth ... [et al.]schema:ProductModel
A process algebra for interworkings / by S. Mauw and M.A. Reniersschema:ProductModel
A process-algebraic approach to life-cycle inheritance : inheritance = encapsulation =+ abstraction / T. Basten, W.M.P. van der Aalstschema:ProductModel
... show all 200