Electronic Communications of the EASST 2011
DOI: 10.14279/tuj.eceasst.32.520
|View full text |Cite
|
Sign up to set email alerts
|

Incremental Pattern Matching in Graph-Based State Space Exploration

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Year Published

2012
2012
2012
2012

Publication Types

Select...
4

Relationship

0
4

Authors

Journals

citations
Cited by 4 publications
references
References 11 publications
0
0
0
Order By: Relevance