Model checking large software specifications
| Title: | Model checking large software specifications |
|---|---|
| Authors: | Chan, W.; Anderson, R.J.; Beame, P.; Burns, S.; Modugno, F.; Notkin, D.; Reese, J.D. |
| Source: | IEEE Transactions on Software Engineering IIEEE Trans. Software Eng. Software Engineering, IEEE Transactions on. 24(7):498-520 Jul, 1998 |
| Database: | IEEE Xplore Digital Library |