[IEEE 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (HASE) - Boca Raton, FL, USA (2011.11.10-2011.11.12)] 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering - Reducing State Explosion with Context Modeling for Model-Checking

✍ Scribed by Dhaussy, Philippe; Roger, Jean-Charles; Boniol, Frederic

• Book ID: 118047609
• Publisher: IEEE
• Year: 2011
• Weight: 610 KB
• Volume: 0
• Category: Article
• ISBN: 0769546153
• DOI: 10.1109/hase.2011.24