Original language | English |
---|---|
Title of host publication | host publication |
Publisher | École Nationale Supérieure des Telecommunications |
Publication status | Published - 1998 |
CTL* Model Checking for SPIN
Willem Visser, Howard Barringer
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review