io-port.net

io-port 05417060 Van Vlijmen, Sebastiaan; Van Waveren, Arjan; Vriend, Paul

The generic structure editor. (English)

Electron. Notes Theor. Comput. Sci. 21 (1999).

1

io-port 05417059 Van Vlijmen, Sebastiaan; Van Waveren, Arjan; Klusener, Steven; Koorn, Wilco; Oei, Liang; Bol, Roland N.; Der Duyn Schouten, Frank Van; De Wael, Stefan Vos

Epitomes of four other cases. (English)

Electron. Notes Theor. Comput. Sci. 21 (1999).

2

PDF XML AMS-TeX TEXT BIBTeX

io-port 05417058 Van Vlijmen, Sebastiaan; Van Wamel, Jos

A semantic approach to protocold. (English)

Electron. Notes Theor. Comput. Sci. 21 (1999).

3

PDF XML AMS-TeX TEXT BIBTeX

io-port 05417057 Van Vlijmen, Sebastiaan; Van Waveren, Arjan

Road traffic regulation. (English)

Electron. Notes Theor. Comput. Sci. 21 (1999).

4

PDF XML AMS-TeX TEXT BIBTeX

io-port 05417056 Van Vlijmen, Sebastiaan; Klusener, Steven; Schrijver, Alexander

The compact dynamic bus station. (English)

Electron. Notes Theor. Comput. Sci. 21 (1999).

5

PDF XML AMS-TeX TEXT BIBTeX

io-port 05417055 Van Vlijmen, Sebastiaan; Groote, Jan Friso; Koorn, Wilco

The vital processor interlocking. (English)

Electron. Notes Theor. Comput. Sci. 21 (1999).

6

PDF XML AMS-TeX TEXT BIBTeX

io-port 05417054 Van Vlijmen, Sebastiaan

Conclusion. (English)

Electron. Notes Theor. Comput. Sci. 21 (1999).

7

PDF XML AMS-TeX TEXT BIBTeX

io-port 05417053 Van Vlijmen, Sebastiaan

Engineering, software and hypotheses. (English)

Electron. Notes Theor. Comput. Sci. 21 (1999).

8

PDF XML AMS-TeX TEXT BIBTeX

io-port 05417052 Van Vlijmen, Sebastiaan

Preface. (English)

Electron. Notes Theor. Comput. Sci. 21 (1999).

9

PDF XML AMS-TeX TEXT BIBTeX

io-port 01324649 van Vlijmen, Sebastiaan; van Waveren, Arjan; Klusener, Stefan; Koorn, Wilco; Oei, Liang; Bol, Roland; van der Duyn Schouten, Frank; Vos de Wael, Stefan

Epitomes of four other cases. (English)

Van Vlijmen, Sebastiaan (ed.), ENTCS. Research project. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 21, Electronic paper No.8, (1999).

10

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 01324648 van Vlijmen, Sebastiaan; Klusener, Steven; Schrijver, Lex

The compact dynamic bus station. (English)

Van Vlijmen, Sebastiaan (ed.), ENTCS. Research project. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 21, Electronic paper No.7, (1999).

11

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 01324647 van Vlijmen, Sebastiaan; Groote, Jan Friso; Koorn, Wilco

The vital processor interlocking. (English)

Van Vlijmen, Sebastiaan (ed.), ENTCS. Research project. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 21, Electronic paper No.6, (1999).

12

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 01324646 van Vlijmen, Sebastiaan; van Waveren, Arjan; Vriend, Paul

The generic structure editor. (English)

Van Vlijmen, Sebastiaan (ed.), ENTCS. Research project. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 21, Electronic paper No.5, (1999).

13

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 01324645 van Vlijmen, Sebastiaan; van Wamel, Jos

A semantic approach to protoCold. (English)

Van Vlijmen, Sebastiaan (ed.), ENTCS. Research project. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 21, Electronic paper 4, (1999).

14

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 01324644 van Vlijmen, Sebastiaan; van Waveren, Arjan

Road traffic regulation. (English)

Van Vlijmen, Sebastiaan (ed.), ENTCS. Research project. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 21, Electronic paper No.3, (1999).

15

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 01324643 van Vlijmen, Sebastiaan

Engineering, software and hypotheses. (English)

Van Vlijmen, Sebastiaan (ed.), ENTCS. Research project. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 21, Electronic paper No.2, (1999).

16

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 01324606 Van Vlijmen, Sebastiaan (ed.)

ENTCS. Research project. (English)

Electronic Notes in Theoretical Computer Science. 21. Amsterdam: Elsevier, 7 papers (electronic) (1999).

17

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 00816977 Ponse, A. (ed.); Verhoef, C. (ed.); van Vlijmen, S.F.M. (ed.)

Algebra of communicating processes. Proceedings of ACP94, the 1st workshop, Utrecht, The Netherlands, 16-17 May 1994. (English)

Workshops in Computing. London: Springer-Verlag (in coll. with the British Computer Society). x, 359 p. DM 98.00; \sterling 37.00; FF 370.00; öS 764.40; sFr 94.50 (1995).

18

PDF XML AMS-TeX TEXT BIBTeX