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: |
|
Full Text from ScienceDirect