Author:
Olderog Ernst-Rüdiger,Steffen Bernhard,Yi Wang
Publisher
Springer International Publishing
Reference36 articles.
1. Abdulla, J., Yi, W.: Cause-effect reaction latency in real-time systems. In: Olderog, E.-R., et al. (eds.) Jonsson Festschrift. LNCS, vol. 13030, pp. 41–56. Springer, Cham (2021)
2. Lecture Notes in Computer Science;PA Abdulla,1999
3. Abdulla, P.A., Cerans, K., Jonsson, B., Tsay, Y.: General decidability theorems for infinite-state systems. In: Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science, New Brunswick, New Jersey, USA, 27–30 July 1996, pp. 313–321. IEEE Computer Society (1996). https://doi.org/10.1109/LICS.1996.561359
4. Lecture Notes in Computer Science;PA Abdulla,2002
5. Lecture Notes in Computer Science;PA Abdulla,2002