Tools and Verification

AuthID
P-008-10J
7
Author(s)
Bartoletti, M
·
Lanese, I
·
Mazzanti, F
·
Sangiorgi, D
·
Zunino, R
1
Editor(s)
Wirsing M.
Document Type
Article
Year published
2011
Published
in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 6582, Pages: 408-427
Indexing
Publication Identifiers
DBLP: books/sp/sensoria2011/BartolettiCLMSVZ11
SCOPUS: 2-s2.0-80455158324
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.