Development of Software Tool for Safety Checking by Generating Coverability Tree Using Petri Nets

Author(s)
Hoque, Md Tamjidul
Hoque, Mohammad Towhidul
Griffith University Author(s)
Year published
2005
Metadata
Show full item record
Conference Title
Proceedings. 8th ICCIT 2005
Subject
Multi-Disciplinary
Publication URI
Collection