Extended DILL : digital logic in LOTOS
1 edition
- Dept. of Computing Science and Mathematics, University of Stirling
- 1997
- Details
Timed DILL : digital logic in LOTOS
1 edition
- Dept. of Computing Science and Mathematics, University of Stirling
- 1998
- Details
Modelling and verifying synchronous circuits in DILL
1 edition
- Dept. of Computing Science and Mathematics, University of Stirling
- 1999
- Details
Formal specification and analysis of digital hardware circuits in LOTOS
1 edition
- Dept. of Computing Science and Mathematics, University of Stirling
- 2000
- Details
