publications:
- title: "Petri Net Models for Algebraic Theories of Concurrency"
  author:
  - name: "Rob J. van Glabbeek"
    link: "http://theory.stanford.edu/~rvg/"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "1987"
  tags:
  - " algebra"
  researchr: "https://researchr.org/publication/GlabbeekV87%3A0"
  cites: 0
  citedby: 0
  pages: "224-242"
  booktitle: "parle"
  kind: "inproceedings"
  key: "GlabbeekV87:0"
- title: "A testing scenario for probabilistic processes"
  author:
  - name: "Ling Cheung"
    link: "https://researchr.org/alias/ling-cheung"
  - name: "Mariëlle Stoelinga"
    link: "https://researchr.org/alias/mari%C3%ABlle-stoelinga"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1314690.1314693"
  links:
    doi: "http://doi.acm.org/10.1145/1314690.1314693"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/CheungSV07"
  cites: 0
  citedby: 0
  journal: "JACM"
  volume: "54"
  number: "6"
  pages: "29"
  kind: "article"
  key: "CheungSV07"
- title: "Expressive Results for Process Algebras"
  author:
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "1992"
  tags:
  - "process algebra"
  - " algebra"
  researchr: "https://researchr.org/publication/Vaandrager92"
  cites: 0
  citedby: 0
  pages: "609-638"
  booktitle: "rex"
  kind: "inproceedings"
  key: "Vaandrager92"
- title: "Forward and Backward Simulations for Timing-Based Systems"
  author:
  - name: "Nancy A. Lynch"
    link: "https://researchr.org/alias/nancy-a.-lynch"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "1991"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/LynchV91"
  cites: 0
  citedby: 0
  pages: "397-446"
  booktitle: "rex"
  kind: "inproceedings"
  key: "LynchV91"
- title: "Turning SOS Rules into Equations"
  author:
  - name: "Luca Aceto"
    link: "https://researchr.org/alias/luca-aceto"
  - name: "Bard Bloom"
    link: "https://researchr.org/alias/bard-bloom"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "1994"
  month: "May"
  tags:
  - "rule-based"
  - "SOS"
  - "rules"
  researchr: "https://researchr.org/publication/AcetoBV94"
  cites: 0
  citedby: 0
  journal: "iandc"
  volume: "111"
  number: "1"
  pages: "1-52"
  kind: "article"
  key: "AcetoBV94"
- title: "A theory of normed simulations"
  author:
  - name: "W. O. David Griffioen"
    link: "https://researchr.org/alias/w.-o.-david-griffioen"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/1024922.1024923"
  links:
    doi: "http://doi.acm.org/10.1145/1024922.1024923"
  researchr: "https://researchr.org/publication/GriffioenV04"
  cites: 0
  citedby: 0
  journal: "tocl"
  volume: "5"
  number: "4"
  pages: "577-610"
  kind: "article"
  key: "GriffioenV04"
- title: "Linear parametric model checking of timed automata"
  author:
  - name: "Thomas Hune"
    link: "https://researchr.org/alias/thomas-hune"
  - name: "Judi Romijn"
    link: "https://researchr.org/alias/judi-romijn"
  - name: "Mariëlle Stoelinga"
    link: "https://researchr.org/alias/mari%C3%ABlle-stoelinga"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "2002"
  doi: "http://dx.doi.org/10.1016/S1567-8326(02)00037-1"
  links:
    doi: "http://dx.doi.org/10.1016/S1567-8326(02)00037-1"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/HuneRSV02"
  cites: 0
  citedby: 0
  journal: "jlp"
  volume: "52-53"
  pages: "183-220"
  kind: "article"
  key: "HuneRSV02"
- title: "Model checker aided design of a controller for a wafer scanner"
  author:
  - name: "Martijn Hendriks"
    link: "https://researchr.org/alias/martijn-hendriks"
  - name: "Barend van den Nieuwelaar"
    link: "https://researchr.org/alias/barend-van-den-nieuwelaar"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/s10009-006-0025-7"
  links:
    doi: "http://dx.doi.org/10.1007/s10009-006-0025-7"
  tags:
  - "design"
  researchr: "https://researchr.org/publication/HendriksNV06"
  cites: 0
  citedby: 0
  journal: "STTT"
  volume: "8"
  number: "6"
  pages: "633-647"
  kind: "article"
  key: "HendriksNV06"
- title: "Modular Specifications in Process Algebra with Curious Queues"
  author:
  - name: "Rob J. van Glabbeek"
    link: "http://theory.stanford.edu/~rvg/"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "1987"
  tags:
  - "process algebra"
  - "algebraic specification"
  - " algebra"
  researchr: "https://researchr.org/publication/GlabbeekV87"
  cites: 0
  citedby: 0
  pages: "465-506"
  booktitle: "am"
  kind: "inproceedings"
  key: "GlabbeekV87"
- title: "Model Checker Aided Design of a Controller for a Wafer Scanner"
  author:
  - name: "Martijn Hendriks"
    link: "https://researchr.org/alias/martijn-hendriks"
  - name: "Barend van den Nieuwelaar"
    link: "https://researchr.org/alias/barend-van-den-nieuwelaar"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "2004"
  tags:
  - "design"
  researchr: "https://researchr.org/publication/HendriksNV04"
  cites: 0
  citedby: 0
  pages: "201-208"
  booktitle: "ISoLA"
  kind: "inproceedings"
  key: "HendriksNV04"
- title: "Structured Operational Semantics and Bisimulation as a Congruence"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "1992"
  month: "October"
  tags:
  - "semantics"
  - "operational semantics"
  researchr: "https://researchr.org/publication/GrooteV92"
  cites: 0
  citedby: 0
  journal: "iandc"
  volume: "100"
  number: "2"
  pages: "202-260"
  kind: "article"
  key: "GrooteV92"
- title: "A Testing Scenario for Probabilistic Automata"
  author:
  - name: "Mariëlle Stoelinga"
    link: "https://researchr.org/alias/mari%C3%ABlle-stoelinga"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2719/27190464.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2719/27190464.htm"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/StoelingaV03"
  cites: 0
  citedby: 0
  pages: "464-477"
  booktitle: "icalp"
  kind: "inproceedings"
  key: "StoelingaV03"
- title: "A Note on Fairness in I/O Automata"
  author:
  - name: "Judi Romijn"
    link: "https://researchr.org/alias/judi-romijn"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "1996"
  doi: "http://dx.doi.org/10.1016/0020-0190(96)00122-6"
  links:
    doi: "http://dx.doi.org/10.1016/0020-0190(96)00122-6"
  researchr: "https://researchr.org/publication/RomijnV96"
  cites: 0
  citedby: 0
  journal: "ipl"
  volume: "59"
  number: "5"
  pages: "245-250"
  kind: "article"
  key: "RomijnV96"
- title: "Introduction"
  author:
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "1996"
  researchr: "https://researchr.org/publication/Vaandrager96"
  cites: 0
  citedby: 0
  pages: "1-3"
  booktitle: "eef"
  kind: "inproceedings"
  key: "Vaandrager96"
- title: "Root Contention in IEEE 1394"
  author:
  - name: "Mariëlle Stoelinga"
    link: "https://researchr.org/alias/mari%C3%ABlle-stoelinga"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1601/16010053.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1601/16010053.htm"
  researchr: "https://researchr.org/publication/StoelingaV99"
  cites: 0
  citedby: 0
  pages: "53-74"
  booktitle: "arts"
  kind: "inproceedings"
  key: "StoelingaV99"
- title: "Determinism - (Event Structure Isomorphism = Step Sequence Equivalence)"
  author:
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "1991"
  researchr: "https://researchr.org/publication/Vaandrager91"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "79"
  number: "2"
  pages: "275-294"
  kind: "article"
  key: "Vaandrager91"
- title: "Operational and Logical Semantics for Polling Real-Time Systems"
  author:
  - name: "Henning Dierks"
    link: "https://researchr.org/alias/henning-dierks"
  - name: "Ansgar Fehnker"
    link: "https://researchr.org/alias/ansgar-fehnker"
  - name: "Angelika Mader"
    link: "https://researchr.org/alias/angelika-mader"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1486/14860029.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1486/14860029.htm"
  tags:
  - "semantics"
  - "operational semantics"
  researchr: "https://researchr.org/publication/DierksFMV98"
  cites: 0
  citedby: 0
  pages: "29-40"
  booktitle: "ftrtft"
  kind: "inproceedings"
  key: "DierksFMV98"
- title: "Minimizable Timed Automata"
  author:
  - name: "Jan Springintveld"
    link: "https://researchr.org/alias/jan-springintveld"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "1996"
  researchr: "https://researchr.org/publication/SpringintveldV96"
  cites: 0
  citedby: 0
  pages: "130-147"
  booktitle: "ftrtft"
  kind: "inproceedings"
  key: "SpringintveldV96"
- title: "Hybrid I/O Automata Revisited"
  author:
  - name: "Nancy A. Lynch"
    link: "https://researchr.org/alias/nancy-a.-lynch"
  - name: "Roberto Segala"
    link: "https://researchr.org/alias/roberto-segala"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2034/20340403.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2034/20340403.htm"
  researchr: "https://researchr.org/publication/LynchSV01"
  cites: 0
  citedby: 0
  pages: "403-417"
  booktitle: "hybrid"
  kind: "inproceedings"
  key: "LynchSV01"
- title: "The Difference between Splitting in n and n+1"
  author:
  - name: "Rob J. van Glabbeek"
    link: "http://theory.stanford.edu/~rvg/"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "1997"
  researchr: "https://researchr.org/publication/GlabbeekV97"
  cites: 0
  citedby: 0
  journal: "iandc"
  volume: "136"
  number: "2"
  pages: "109-142"
  kind: "article"
  key: "GlabbeekV97"
- title: "Deadlock Prevention in the Æthereal Protocol"
  author:
  - name: "Biniam Gebremichael"
    link: "https://researchr.org/alias/biniam-gebremichael"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  - name: "Miaomiao Zhang"
    link: "https://researchr.org/alias/miaomiao-zhang"
  - name: "Kees Goossens"
    link: "https://researchr.org/alias/kees-goossens"
  - name: "Edwin Rijpkema"
    link: "https://researchr.org/alias/edwin-rijpkema"
  - name: "Andrei Radulescu"
    link: "https://researchr.org/alias/andrei-radulescu"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11560548_28"
  links:
    doi: "http://dx.doi.org/10.1007/11560548_28"
  tags:
  - "protocol"
  researchr: "https://researchr.org/publication/GebremichaelVZGRR05"
  cites: 0
  citedby: 0
  pages: "345-348"
  booktitle: "charme"
  kind: "inproceedings"
  key: "GebremichaelVZGRR05"
- title: "Three Logics for Branching Bisimulation"
  author:
  - name: "Rocco De Nicola"
    link: "https://researchr.org/alias/rocco-de-nicola"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "1995"
  doi: "http://doi.acm.org/10.1145/201019.201032"
  links:
    doi: "http://doi.acm.org/10.1145/201019.201032"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/NicolaV95"
  cites: 0
  citedby: 0
  journal: "JACM"
  volume: "42"
  number: "2"
  pages: "458-487"
  kind: "article"
  key: "NicolaV95"
- title: "Adding Symmetry Reduction to Uppaal"
  author:
  - name: "Martijn Hendriks"
    link: "https://researchr.org/alias/martijn-hendriks"
  - name: "Gerd Behrmann"
    link: "https://researchr.org/alias/gerd-behrmann"
  - name: "Kim Guldstrand Larsen"
    link: "https://researchr.org/alias/kim-guldstrand-larsen"
  - name: "Peter Niebert"
    link: "https://researchr.org/alias/peter-niebert"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2791&spage=46"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2791&spage=46"
  researchr: "https://researchr.org/publication/HendriksBLNV03"
  cites: 0
  citedby: 0
  pages: "46-59"
  booktitle: "formats"
  kind: "inproceedings"
  key: "HendriksBLNV03"
- title: "Testing timed automata"
  author:
  - name: "Jan Springintveld"
    link: "https://researchr.org/alias/jan-springintveld"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  - name: "Pedro R. D Argenio"
    link: "https://researchr.org/alias/pedro-r.-d-argenio"
  year: "2001"
  doi: "http://dx.doi.org/10.1016/S0304-3975(99)00134-6"
  links:
    doi: "http://dx.doi.org/10.1016/S0304-3975(99)00134-6"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/SpringintveldVD01"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "254"
  number: "1-2"
  pages: "225-257"
  kind: "article"
  key: "SpringintveldVD01"
- title: "An Algebra for Process Creation"
  author:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "1992"
  tags:
  - "process algebra"
  - "C++"
  - " algebra"
  researchr: "https://researchr.org/publication/BaetenV92"
  cites: 0
  citedby: 0
  journal: "ACTA"
  volume: "29"
  number: "4"
  pages: "303-334"
  kind: "article"
  key: "BaetenV92"
- title: "Cost-Optimization of the IPv4 Zeroconf Protocol"
  author:
  - name: "Henrik C. Bohnenkamp"
    link: "https://researchr.org/alias/henrik-c.-bohnenkamp"
  - name: "Peter van der Stok"
    link: "https://researchr.org/alias/peter-van-der-stok"
  - name: "Holger Hermanns"
    link: "https://researchr.org/alias/holger-hermanns"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "2003"
  doi: "http://csdl.computer.org/comp/proceedings/dsn/2003/1952/00/19520531abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/dsn/2003/1952/00/19520531abs.htm"
  tags:
  - "optimization"
  - "protocol"
  - "C++"
  researchr: "https://researchr.org/publication/BohnenkampSHV03"
  cites: 0
  citedby: 0
  pages: "531-540"
  booktitle: "dsn"
  kind: "inproceedings"
  key: "BohnenkampSHV03"
- title: "Switched Probabilistic I/O Automata"
  author:
  - name: "Ling Cheung"
    link: "https://researchr.org/alias/ling-cheung"
  - name: "Nancy A. Lynch"
    link: "https://researchr.org/alias/nancy-a.-lynch"
  - name: "Roberto Segala"
    link: "https://researchr.org/alias/roberto-segala"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=494"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=494"
  researchr: "https://researchr.org/publication/CheungLSV04"
  cites: 0
  citedby: 0
  pages: "494-510"
  booktitle: "ictac"
  kind: "inproceedings"
  key: "CheungLSV04"
- title: "Analysis of a biphase mark protocol with Uppaaland PVS"
  author:
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  - name: "Adriaan de Groot"
    link: "https://researchr.org/alias/adriaan-de-groot"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/s00165-006-0008-1"
  links:
    doi: "http://dx.doi.org/10.1007/s00165-006-0008-1"
  tags:
  - "protocol"
  - "analysis"
  researchr: "https://researchr.org/publication/VaandragerG06"
  cites: 0
  citedby: 0
  journal: "fac"
  volume: "18"
  number: "4"
  pages: "433-458"
  kind: "article"
  key: "VaandragerG06"
- title: "Action Transducers and Timed Automata"
  author:
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  - name: "Nancy A. Lynch"
    link: "https://researchr.org/alias/nancy-a.-lynch"
  year: "1992"
  researchr: "https://researchr.org/publication/VaandragerL92"
  cites: 0
  citedby: 0
  pages: "436-455"
  booktitle: "concur"
  kind: "inproceedings"
  key: "VaandragerL92"
- title: "Linear Parametric Model Checking of Timed Automata"
  author:
  - name: "Thomas Hune"
    link: "https://researchr.org/alias/thomas-hune"
  - name: "Judi Romijn"
    link: "https://researchr.org/alias/judi-romijn"
  - name: "Mariëlle Stoelinga"
    link: "https://researchr.org/alias/mari%C3%ABlle-stoelinga"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2031/20310189.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2031/20310189.htm"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/HuneRSV01"
  cites: 0
  citedby: 0
  pages: "189-203"
  booktitle: "TACAS"
  kind: "inproceedings"
  key: "HuneRSV01"
- title: "Action Transducers and Timed Automata"
  author:
  - name: "Nancy A. Lynch"
    link: "https://researchr.org/alias/nancy-a.-lynch"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "1996"
  researchr: "https://researchr.org/publication/LynchV96"
  cites: 0
  citedby: 0
  journal: "fac"
  volume: "8"
  number: "5"
  pages: "499-538"
  kind: "article"
  key: "LynchV96"
- title: "Bundle Event Structures and CCSP"
  author:
  - name: "Rob J. van Glabbeek"
    link: "http://theory.stanford.edu/~rvg/"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2761&spage=57"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2761&spage=57"
  researchr: "https://researchr.org/publication/GlabbeekV03"
  cites: 0
  citedby: 0
  pages: "57-71"
  booktitle: "concur"
  kind: "inproceedings"
  key: "GlabbeekV03"
- title: "Distributing Timed Model Checking - How the Search Order Matters"
  author:
  - name: "Gerd Behrmann"
    link: "https://researchr.org/alias/gerd-behrmann"
  - name: "Thomas Hune"
    link: "https://researchr.org/alias/thomas-hune"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "2000"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  - "search"
  researchr: "https://researchr.org/publication/BehrmannHV00"
  cites: 0
  citedby: 0
  pages: "216-231"
  booktitle: "cav"
  kind: "inproceedings"
  key: "BehrmannHV00"
- title: "Hybrid Systems: Computation and Control, Second International Workshop, HSCC 99, Berg en Dal, The Netherlands, March 29-31, 1999, Proceedings"
  year: "1999"
  tags:
  - "control systems"
  researchr: "https://researchr.org/publication/hybrid%3A1999"
  cites: 0
  citedby: 0
  booktitle: "Hybrid Systems: Computation and Control, Second International Workshop, HSCC 99, Berg en Dal, The Netherlands, March 29-31, 1999, Proceedings"
  conference: "hybrid"
  editor:
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  - name: "Jan H. van Schuppen"
    link: "https://researchr.org/alias/jan-h.-van-schuppen"
  volume: "1569"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-65734-7"
  kind: "proceedings"
  key: "hybrid:1999"
- title: "Lectures on Embedded Systems, European Educational Forum, School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996"
  year: "1998"
  researchr: "https://researchr.org/publication/eef%3A1996"
  cites: 0
  citedby: 0
  booktitle: "Lectures on Embedded Systems, European Educational Forum, School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996"
  conference: "eef"
  editor:
  - name: "Grzegorz Rozenberg"
    link: "https://researchr.org/alias/grzegorz-rozenberg"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  volume: "1494"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-65193-4"
  kind: "proceedings"
  key: "eef:1996"