Moby/PLC-Publications (Tool Description)

(BibTeX Source)

@comment{{This file has been generated by bib2bib 1.93}}

@comment{{Command line: /usr/bin/bib2bib -q -ob mobyplc.bib -c 'author : "mobyplc" or publists : "mobyplc"' names-long.bib all.bib}}

@article{dt01,
  author = {H. Dierks and J. Tapken},
  title = {{Moby/PLC: Eine graphische Entwicklungsumgebung f{\"u}r
      SPS-Programme}},
  journal = {at-Automatisierungstechnik},
  year = {2001},
  volume = {1},
  pages = {38--44},
}

@article{dt00,
  author = {H. Dierks and J. Tapken},
  title = {{Modelling and Verifying of `Cash-Point Service' Using
      Moby/PLC}},
  journal = {Formal Aspects of Computing},
  year = {2000},
  volume = {12},
  pages = {222--221},
  url = {http://csd.informatik.uni-oldenburg.de/pub/Papers/hdjt00.ps.gz},
}

@inproceedings{jt98,
  author = {J. Tapken},
  title = {{Moby/PLC -- A Design Tool for Hierarchical Real-Time
Automata}},
  booktitle = {Proceedings of FASE'98},
  editor = {E. Astesiano},
  volume = {1382},
  series = {LNCS},
  publisher = {Springer Verlag},
  year = {1998},
  pages = {326-329},
}

@inproceedings{jthd98,
  author = {J. Tapken and H. Dierks},
  title = {{Moby/PLC -- Graphical Development of PLC-Automata}},
  booktitle = {Proceedings of FTRTFT'98},
  editor = {A.P. Ravn and H. Rischel},
  volume = {1486},
  series = {LNCS},
  publisher = {Springer Verlag},
  year = {1998},
  pages = {311-314},
  note = {\copyright Springer-Verlag. This publication is available
                 
{\url{http://csd.informatik.uni-oldenburg.de/pub/Papers/jthd98.ps.gz}{here}}
                  and at
                  {\url{http://www.springer.de/comp/lncs/index.html}{Springer}}},
}

@inproceedings{hdjt98,
  author = {H. Dierks and J. Tapken},
  title = {{Tool-Supported Hierarchical Design of Distributed
                  Real-Time Systems}},
  booktitle = {Euromicro Workshop on Real Time Systems},
  publisher = {IEEE},
  year = {1998},
  pages = {222-229},
  url = {http://csd.informatik.uni-oldenburg.de/pub/Papers/hdjt98.ps.gz}
}