Conference item icon

Conference item

Watchdog Transformations for Property−Oriented Model−Checking

Actions


Access Document


Authors


Publisher:
Springer Berlin Heidelberg
Volume:
2805
Publication date:
2003-01-01
DOI:
ISSN:
0302-9743
URN:
uuid:33096004-5517-4a50-90f6-7bb7376b3652
Local pid:
cs:8669
ISBN:
3-540-40828-2

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP