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.


K. Gorgônio and F. Xia. Modeling and Verifying Asynchronous Communication Mechanisms using Coloured Petri Nets. Technical Report Series NCL-EECE-MSD-TR-2008-127, Newcastle University, Newcastle upon Tyne, NE1 7RU, UK, March 2008. [ bib | pdf | http ]

This file was generated by bibtex2html 1.95.