Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 5
Number of items: 5
  • van Vlijmen, S. F. M., Klusener, A. S., & Schrijver, A. (1999). The compact dynamic busstation. Electronic Notes in Theoretical Computer Science, (21), 7. https://doi.org/10.1016/S1571-0661(05)01190-4
  • Schrijver, A., Klusener, A. S., & van Vlijmen, S. F. M. (1996). Compact dynamic busstation. (Rapport CWI-CS-N9601). CWI.
  • van den Brand, M. G. J., van Deursen, A., Klint, P., Klusener, A. S., & van der Meulen, E. A. (1996). Industrial Applications of ASF+SDF. In M. Nivat, & M. Wirsing (Eds.), Algebraic Methodology and Software Technology (AMAST '96) (pp. 9-18). Springer-Verlag.
  • Klusener, A. S., van Vlijmen, S. F. M., & Schrijver, A. (1996). Compact dynamisch busstation. (Technical Report; No. CS-N9601). CWI.
  • Klusener, A. S. (1994). Models and Axioms for a Fragment of Real Time Process Algebra. [Thesis, internally prepared, tue].
Page of