Tutorial on FDR and Its Applications
| Type of publication: | Inproceedings |
| Citation: | FDR2000 |
| Booktitle: | Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification |
| Year: | 2000 |
| Pages: | 322-- |
| Publisher: | Springer-Verlag |
| Address: | London, UK, UK |
| ISBN: | 3-540-41030-9 |
| URL: | http://dl.acm.org/citation.cfm... |
| Userfields: | acmid={672219}, bdsk-url-1={http://dl.acm.org/citation.cfm?id=645880.672219}, date-added={2012-09-25 09:14:10 +0200}, date-modified={2012-09-25 09:14:11 +0200}, project={fremdliteratur}, |
| Keywords: | |
| Authors | |
|
Attachments
|
|
|
Notes
|
|
|
|
|
|
Topics
|
|
|
|
|