Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Tidjani Négadi
K. V. Ratnakar
Shin Masuda
Jhonathan Pinzon
Liangliang Shang
Giovanni Venturelli
Chen Ma
Jing-Sheng Wong
Radu Timofte
Harry Zhang
Home
/
Paper
/
Chapter Four - Optimizing the Symbolic Execution of Evolving Rhapsody Statecharts.
Paper Info
Open Visualization
Title
Chapter Four - Optimizing the Symbolic Execution of Evolving Rhapsody Statecharts.
Year
Venue
DocType
2018
Advances in Computers
Journal
Volume
Citations
PageRank
108
0
0.34
References
Authors
0
2
Authors (2 rows)
Cited by (0 rows)
References (0 rows)
Name
Order
Citations
PageRank
Amal Khalil
1
0
1.01
Juergen Dingel
2
608
49.06
1