Brzozowski's and Up-To Algorithms for Must Testing

AuthID
P-009-4PP
4
Author(s)
Bonchi, F
·
Caltais, G
·
Pous, D
·
1
Editor(s)
Chung-chieh Shan
Document Type
Proceedings Paper
Year published
2013
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: 8301 LNCS, Pages: 1-16
Conference
11Th Asian Symposium on Programming Languages and Systems, Aplas 2013, Date: 9 December 2013 through 11 December 2013, Location: Melbourne, VIC, Sponsors: Asian Association for Foundation of Software (AAFS)
Indexing
Publication Identifiers
DBLP: conf/aplas/BonchiCPS13
SCOPUS: 2-s2.0-84893350668
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.