Incremental Specification and Analysis in the Context of Coloured Petri Nets (2002)
by
Glenn Anthony Lewis
,
Ernest Hemingway
,
Death In
,
The Afternoon
| Citations: | 1 - 0 self |
BibTeX
@TECHREPORT{Lewis02incrementalspecification,
author = {Glenn Anthony Lewis and Ernest Hemingway and Death In and The Afternoon},
title = {Incremental Specification and Analysis in the Context of Coloured Petri Nets},
institution = {},
year = {2002}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
I hereby declare that this thesis contains no material which has been accepted for a degree or diploma by the University of Tasmania or any other institution, except by way of background information duly acknowledged in the thesis, and to the best of my knowledge and belief no material has been previously published or written by another person except where due acknowledgement is made in the text of the thesis. ii
