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. |
|