| Originele taal-2 | Engels |
|---|---|
| Uitgever | Technische Universiteit Eindhoven |
| Status | Gepubliceerd - 1998 |
Citeer dit
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
Vertaler van 'Intermediate format' naar Promela
- D.R. Dams
- , D. Bosnacki
Onderzoeksoutput: Niet-tekstuele vorm › computerprogramma software › Professioneel