Bisimilarity of Open Terms in Stream GSOS
Publication year
2017Publisher
Cham : Springer International Publishing
ISBN
9783319689722
In
Lecture Notes in Computer Science, (2017)Dastani, M.; Sirjani, M. (ed.), Fundamentals of Software Engineering: 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers, pp. 35-50ISSN
Publication type
Article in monograph or in proceedings

Display more detailsDisplay less details
Editor(s)
Dastani, M.
Sirjani, M.
Organization
Software Science
Journal title
Lecture Notes in Computer Science
Book title
Dastani, M.; Sirjani, M. (ed.), Fundamentals of Software Engineering: 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers
Page start
p. 35
Page end
p. 50
Subject
Software ScienceThis item appears in the following Collection(s)
- Academic publications [229196]
- Electronic publications [111662]
- Faculty of Science [34286]
- Open Access publications [80462]
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.