Journal article icon

Journal article

Regular repair of specifications

Actions


Access Document


Files:

Authors


Michael Benedikt More by this author
Gabriele Puppis More by this author
Cristian Riveros More by this author
Journal:
26th Annual IEEE Symposium on Logic in Computer Science (LICS)
Publication date:
2011-06-01
URN:
uuid:7b8669ab-6ac5-4aa1-aba7-cd2851b4e61d
Local pid:
cs:4887

Terms of use


Metrics



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

TO TOP