PREUVES, PROGRAMMES et SYSTÈMES
Browse
Articles list
List by year
List by subject
List by authors
Search
302 articles – 345 references
[version française]
.:.
Browse
>
List by authors
> Drescher .:.
1 document
Proceedings Second Workshop on Logics for Component Configuration
Drescher C., Lynce I., Treinen R.
(2011) 1--45 [hal-00686040 - version 1]