- Cited by 7
-
Cited byCrossref Citations
This Book has been cited by the following publications. This list is generated based on data provided by Crossref.
Shilov, Nikolay 2018. Etude on Recursion Elimination. Modeling and Analysis of Information Systems, Vol. 25, Issue. 5, p. 549.
Chand, Saksham and Liu, Yanhong A. 2018. NASA Formal Methods. Vol. 10811, Issue. , p. 70.
Stoller, Scott D. and Liu, Yanhong A. 2019. Data and Applications Security and Privacy XXXIII. Vol. 11559, Issue. , p. 359.
Bakanov, Konstantin Spence, Ivor and Vandierendonck, Hans 2019. Stream-Based Representation and Incremental optimization of Technical Market Indicators. p. 833.
Smith, Douglas R. and Westfold, Stephen J. 2020. Formal Methods. FM 2019 International Workshops. Vol. 12233, Issue. , p. 371.
Shilov, Nikolay V. and Danko, Danila 2020. Frontiers in Software Engineering Education. Vol. 12271, Issue. , p. 246.
Shi, Haipeng Shi, Haihe and Xu, Shenghua 2021. Theoretical Computer Science. Vol. 1352, Issue. , p. 14.
- Publisher:
- Cambridge University Press
- Online publication date:
- June 2013
- Print publication year:
- 2013
- Online ISBN:
- 9781139567879