Conference item
Échantillonnage préférentiel pour le model checking statistique
Actions
Authors
Bibliographic Details
- Publisher:
- Hermès
- Volume:
- 45
- Host title:
- Proceedings of (MSR'11)
- Publication date:
- 2011-11-01
Item Description
- UUID:
-
uuid:bfa041e2-c5fc-48da-9b1a-6c07943fdc78
- Local pid:
- cs:9368
- Deposit date:
- 2015-03-31
Terms of use
- Copyright date:
- 2011
If you are the owner of this record, you can report an update to it here: Report update to this record