Visual temporal logic as a rapid prototyping tool |
|
| Type | Conference paper [Without referee] |
| Conference | Proceeding of the first international symposium on Visual Formal Methods VFM'99 [Invited paper] |
| Editors | D. Bosnacki, S. Mauw, and T. Willemse |
| Year | 1999 No. 99-08 pp. 1-15 |
| Publisher | Dpt. of Mathematics and Computing Science |
| Address | Eindhoven University of Technology |
| Series | Computing Science Reports |
| Publication link | http://www.imm.dtu.dk/~mf/visual99.ps.gz |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |