Electronic Notes in Theoretical Computer Science, Volume 21

Volume 21, 1999

Algebraic Specification in Action

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Vlijmen99
- ask others
Sebastiaan van Vlijmen: Preface. 1-8
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Vlijmen99a
- ask others
Sebastiaan van Vlijmen: Engineering, Software and Hypotheses. 1-35
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/VlijmenW99
- ask others
Sebastiaan van Vlijmen, Arjan van Waveren: Road Traffic Regulation. 1-51
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/VlijmenW99a
- ask others
Sebastiaan van Vlijmen, Jos van Wamel: A Semantic Approach to Protocold. 1-32
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/VlijmenWV99
- ask others
Sebastiaan van Vlijmen, Arjan van Waveren, Paul Vriend: The Generic Structure Editor. 1
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/VlijmenGK99
- ask others
Sebastiaan van Vlijmen, Jan Friso Groote, Wilco Koorn: The Vital Processor Interlocking. 1-56
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/VlijmenKS99
- ask others
Sebastiaan van Vlijmen, Steven Klusener, Alexander Schrijver: The Compact Dynamic Bus Station. 1-20
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/VlijmenWKKOBSW99
- ask others
Sebastiaan van Vlijmen: Epitomes of Four other Cases. 1-28
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Vlijmen99b
- ask others
Sebastiaan van Vlijmen: Conclusion. 1-38