Vaandrager, Frits
Vaandrager, F.W. (Frits Willem), 1962-
Vaandrager, Frits W., 1962-....
Vaandrager, Frits 1962-
Frits Vaandrager computer scientist
Vaandrager, Frits W
VIAF ID: 17890251 ( Personal )
Permalink: http://viaf.org/viaf/17890251
Preferred Forms
- 100 0 _ ‡a Frits Vaandrager ‡c computer scientist
-
- 100 1 0 ‡a Vaandrager, Frits
- 100 1 _ ‡a Vaandrager, Frits
-
-
-
-
- 100 1 _ ‡a Vaandrager, Frits W., ‡d 1962-....
- 100 1 _ ‡a Vaandrager, Frits ‡d 1962-
4xx's: Alternate Name Forms (8)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Algebraic techniques for concurrency and their application | |
Apprentissage de langages réguliers sur des alphabets de grandes tailles. | |
A comparison of additivity axioms in timed transition systems | |
Control synthesis for a smart card personalization system using symbolic model checking | |
Determinism (Event structure isomorphism = Step sequence equivalence) | |
The difference between splitting in n and n+l | |
Expressiveness results for process algebras | |
Formal modeling and analysis of timed systems : 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings | |
Forward and backward simulations | |
HSCC'99 | |
Hybrid systems : computation and control : Second International Workshop, HSCC '99, Berg en Dal, The Netherlands, March 29-31, 1999 : proceedings | |
De ingebouwde informatica | |
Learning regular languages over large alphabets | |
Lectures on embedded systems : European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996 | |
Modeling and verifying a Lego car using hybrid I/O automata | |
Modular specification of process algebras | |
A note on fairness in I/O automata | |
Politie informatie systemen | |
Process algebra semantics of POOL | |
Proof-checking a data link protocol | |
Root contention in IEEE 1394 | |
A simple definition for parallel composition of prime event structures | |
Some observations on redundancy in a context | |
Specification and verification of a circuit in ACP | |
Stepwise development of hybrid systems | |
Structured operational semantics and bisimulation as a congruence | |
Testing timed automata | |
A theory of normed simulations | |
Three logics for branching bisimulation | |
Turning SOS rules into equations | |
Verification of a distributed summation algorithm | |
Verification of an audio control protocol |