A Decision Procedure for Bisimilarity of Generalized Regular Expressions

AuthID
P-00G-BN2
6
Author(s)
Bonsangue, MM
·
Caltais, G
·
Goriac, EI
·
Lucanu, D
·
Rutten, JJMM
·
Document Type
Proceedings Paper
Year published
2010
Published
in SBMF, ISSN: 0302-9743
Pages: 226-241
Indexing
Publication Identifiers
Dblp: conf/sbmf/BonsangueCGLRS10
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.