Sebastiaan van Vlijmen

According to our database, Sebastiaan van Vlijmen authored at least 9 papers in 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

1999

The Generic Structure Editor.

Sebastiaan van Vlijmen, Arjan van Waveren, Paul Vriend

Proceedings of the Algebraic Specification in Action, 1999

Epitomes of Four other Cases.

Sebastiaan van Vlijmen

Proceedings of the Algebraic Specification in Action, 1999

A Semantic Approach to Protocold.

Sebastiaan van Vlijmen, Jos van Wamel

Proceedings of the Algebraic Specification in Action, 1999

Road Traffic Regulation.

Sebastiaan van Vlijmen, Arjan van Waveren

Proceedings of the Algebraic Specification in Action, 1999

The Compact Dynamic Bus Station.

Sebastiaan van Vlijmen, Steven Klusener, Alexander Schrijver

Proceedings of the Algebraic Specification in Action, 1999

The Vital Processor Interlocking.

Sebastiaan van Vlijmen, Jan Friso Groote, Wilco Koorn

Proceedings of the Algebraic Specification in Action, 1999

Conclusion.

Sebastiaan van Vlijmen

Proceedings of the Algebraic Specification in Action, 1999

Engineering, Software and Hypotheses.

Sebastiaan van Vlijmen

Proceedings of the Algebraic Specification in Action, 1999

Preface.

Sebastiaan van Vlijmen

Proceedings of the Algebraic Specification in Action, 1999