Additional Metadata
THEME Software (theme 1)
Publisher North-Holland
Journal Science of Computer Programming
Citation
Pourvatan, B, Sirjani, M, Hojjat, H, & Arbab, F. (2012). Symbolic execution of Reo circuits using constraint automata. Science of Computer Programming, 77, 848–869.