Publications‎ > ‎Technical reports‎ > ‎


This directory contains postscript and PDF files of articles that may be covered by copyright. You may browse the articles at your convenience (in the same spirit as you may read a journal or a proceeding article in a public library). Retrieving, copying, distributing these files may violate the copyright protection law. We recommend that the user abides international law in accessing this directory.


  address = {Newcastle upon Tyne, NE1 7RU, UK},
  author = {Gorg\^{o}nio, K. and Xia, F.},
  institution = {Newcastle University},
  month = mar,
  number = {NCL-EECE-MSD-TR-2008-127},
  title = {{Modeling and Verifying Asynchronous Communication Mechanisms using Coloured Petri Nets}},
  type = {Technical Report Series},
  year = {2008},
  url = {},
  pdf = {}

This file was generated by bibtex2html 1.95.