| |
| | On Model Checking Synchronised Hardware Circuits - Leucker (ResearchIndex) (Site not responding. Last check: 2007-10-07) |
 | | They can equivalently be characterised by Petri nets with a maximal step semantics. |
 | | As a semantic model for these systems we introduce Distributed Synchronous Transition Systems (DSTS) which are distributed transition systems with a global clock synchronising the executions of actions.... |
 | | @inproceedings{ leucker00model, author = "Martin Leucker", title = "On model checking synchronised hardware circuits", booktitle = "Proceedings of the 6th Asian Computing Conference ({ASIAN'00})", volume = "1961", publisher = "Springer", address = "Penang, Malaysia", editor = "Jifeng He and Masahiko Sato", pages = "182--198", year = "2000", url = "citeseer.ist.psu.edu/article/leucker00model.html" } |
| citeseer.ist.psu.edu /420742.html (528 words) |
|