| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 5th WSEAS International Conference on Microelectronics, Nanoelectronics, Optoelectronics (MINO'06, Prague, Czech Republic, March 12-14, 2006) |
| Pages | ...-... |
| Publication status | Published - 2006 |
Formal verification of SystemC^FL specifications using model checker SPIN
K.L. Man
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review