BibTeX records: N. Petalidis

• > Home > Persons > N. Petalidis

@article{DBLP:journals/cai/Petalidis09,
  author       = {N. Petalidis},
  title        = {Verification of a fieldbus scheduling protocol using timed automata},
  journal      = {Comput. Informatics},
  volume       = {28},
  number       = {5},
  pages        = {655--672},
  year         = {2009},
  url          = {http://www.cai.sk/ojs/index.php/cai/article/view/54},
  timestamp    = {Mon, 14 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cai/Petalidis09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iee/PetalidisG01,
  author       = {N. Petalidis and
                  D. S. Gill},
  title        = {Introducing monitoring events to timed-CSP},
  journal      = {{IEE} Proc. Softw.},
  volume       = {148},
  number       = {1},
  pages        = {19--29},
  year         = {2001},
  url          = {https://doi.org/10.1049/ip-sen:20010244},
  doi          = {10.1049/IP-SEN:20010244},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/PetalidisG01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/PetalidisG98,
  author       = {N. Petalidis and
                  D. S. Gill},
  title        = {The Formal Specification of the Fieldbus Foundation Link Scheduler
                  in {E-LOTOS}},
  booktitle    = {Second {IEEE} International Conference on Formal Engineering Methods,
                  {ICFEM} 1998, Brisbane, Queensland, Australia, December 9-11, 1998,
                  Proceedings},
  pages        = {200--211},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/ICFEM.1998.730584},
  doi          = {10.1109/ICFEM.1998.730584},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/PetalidisG98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}