Search dblp for Publications

export results for "toc:db/journals/entcs/entcs21.bht:"

 download as .bib file

@incollection{DBLP:journals/entcs/Vlijmen99,
  author       = {Sebastiaan van Vlijmen},
  editor       = {Sebastiaan van Vlijmen and
                  Arjan van Waveren and
                  Paul Vriend},
  title        = {Preface},
  booktitle    = {Algebraic Specification in Action},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {21},
  pages        = {1--8},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)01184-9},
  doi          = {10.1016/S1571-0661(05)01184-9},
  timestamp    = {Fri, 11 Nov 2022 15:01:32 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Vlijmen99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:journals/entcs/Vlijmen99a,
  author       = {Sebastiaan van Vlijmen},
  editor       = {Sebastiaan van Vlijmen and
                  Arjan van Waveren and
                  Paul Vriend},
  title        = {Engineering, Software and Hypotheses},
  booktitle    = {Algebraic Specification in Action},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {21},
  pages        = {1--35},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)01185-0},
  doi          = {10.1016/S1571-0661(05)01185-0},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Vlijmen99a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:journals/entcs/Vlijmen99b,
  author       = {Sebastiaan van Vlijmen},
  editor       = {Sebastiaan van Vlijmen and
                  Arjan van Waveren and
                  Paul Vriend},
  title        = {Conclusion},
  booktitle    = {Algebraic Specification in Action},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {21},
  pages        = {1--38},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)01192-8},
  doi          = {10.1016/S1571-0661(05)01192-8},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Vlijmen99b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:journals/entcs/VlijmenGK99,
  author       = {Sebastiaan van Vlijmen and
                  Jan Friso Groote and
                  Wilco Koorn},
  editor       = {Sebastiaan van Vlijmen and
                  Arjan van Waveren and
                  Paul Vriend},
  title        = {The Vital Processor Interlocking},
  booktitle    = {Algebraic Specification in Action},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {21},
  pages        = {1--56},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)01189-8},
  doi          = {10.1016/S1571-0661(05)01189-8},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/VlijmenGK99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:journals/entcs/VlijmenKS99,
  author       = {Sebastiaan van Vlijmen and
                  Steven Klusener and
                  Alexander Schrijver},
  editor       = {Sebastiaan van Vlijmen and
                  Arjan van Waveren and
                  Paul Vriend},
  title        = {The Compact Dynamic Bus Station},
  booktitle    = {Algebraic Specification in Action},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {21},
  pages        = {1--20},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)01190-4},
  doi          = {10.1016/S1571-0661(05)01190-4},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/VlijmenKS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:journals/entcs/VlijmenW99,
  author       = {Sebastiaan van Vlijmen and
                  Arjan van Waveren},
  editor       = {Sebastiaan van Vlijmen and
                  Arjan van Waveren and
                  Paul Vriend},
  title        = {Road Traffic Regulation},
  booktitle    = {Algebraic Specification in Action},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {21},
  pages        = {1--51},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)01186-2},
  doi          = {10.1016/S1571-0661(05)01186-2},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/VlijmenW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:journals/entcs/VlijmenW99a,
  author       = {Sebastiaan van Vlijmen and
                  Jos van Wamel},
  editor       = {Sebastiaan van Vlijmen and
                  Arjan van Waveren and
                  Paul Vriend},
  title        = {A Semantic Approach to Protocold},
  booktitle    = {Algebraic Specification in Action},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {21},
  pages        = {1--32},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)01187-4},
  doi          = {10.1016/S1571-0661(05)01187-4},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/VlijmenW99a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:journals/entcs/VlijmenWKKOBSW99,
  author       = {Sebastiaan van Vlijmen},
  editor       = {Sebastiaan van Vlijmen and
                  Arjan van Waveren and
                  Paul Vriend},
  title        = {Epitomes of Four other Cases},
  booktitle    = {Algebraic Specification in Action},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {21},
  pages        = {1--28},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)01191-6},
  doi          = {10.1016/S1571-0661(05)01191-6},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/VlijmenWKKOBSW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:journals/entcs/VlijmenWV99,
  author       = {Sebastiaan van Vlijmen and
                  Arjan van Waveren and
                  Paul Vriend},
  editor       = {Sebastiaan van Vlijmen and
                  Arjan van Waveren and
                  Paul Vriend},
  title        = {The Generic Structure Editor},
  booktitle    = {Algebraic Specification in Action},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {21},
  pages        = {1},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)01188-6},
  doi          = {10.1016/S1571-0661(05)01188-6},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/VlijmenWV99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:series/entcs/21,
  editor       = {Sebastiaan van Vlijmen and
                  Arjan van Waveren and
                  Paul Vriend},
  title        = {Algebraic Specification in Action},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {21},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/21/suppl/C},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/series/entcs/21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.