Incremental Verification for On-the-Fly Controller Synthesis
Autor: | Musliner, David J., Pelican, Michael J.S., Goldman, Robert P. |
---|---|
Zdroj: | In Electronic Notes in Theoretical Computer Science 14 February 2006 149(2):71-90 |
Databáze: | ScienceDirect |
Externí odkaz: |