2010
A process-theoretic look at automata
Publication
Publication
Presented at the
IPM International Symposium on Fundamentals of Software Engineering , Kish Island, Iran
Additional Metadata | |
---|---|
Springer | |
F. Arbab (Farhad) , M. Sirjani (Marjan) | |
Lecture Notes in Computer Science | |
IPM International Symposium on Fundamentals of Software Engineering | |
Organisation | Computer Security |
Baeten, J., Cuijpers, P. J. L., Luttik, B., & van Tilburg, P. (2010). A process-theoretic look at automata. In F. Arbab & M. Sirjani (Eds.), Proceedings of IPM International Symposium on Fundamentals of Software Engineering 2009 (pp. 1–33). Springer. |