State Minimization for Concurrent System Analysis Based on State Space Exploration (1994)

Cached

Download Links

by Inhye Kang , Insup Lee
Venue:In Proceedings of Conference on Computer Assurance
Citations:12 - 8 self

Document Versions

State Minimization for Concurrent System Analysis Based on State Space Exploration –Inhye Kang, Insup Lee — 1994 — In Proceedings of Conference on Computer Assurance