Author:
Lee Edward A.,Sirjani Marjan
Publisher
Springer International Publishing
Reference55 articles.
1. Volvo, C.E.: Innovation at Volvo construction equipment. https://www.volvoce.com/global/en/this-is-volvo-ce/what-we-believe-in/innovation/ , 24 Aug 2018
2. Jafari, A., Nair, J.J.S., Baumgart, S., Sirjani, M.: Safe and efficient fleet operation for autonomous machines: an actor-based approach. In: Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, pp. 423–426 (2018)
3. Manna, Z., Colón, M.A., Finkbeiner, B., Sipma, H.B., Uribe, T.E.: Abstraction and modular verification of infinite-state reactive systems. Requirements Targeting Software and Systems Engineering, pp. 273–292. Springer, Berlin (1998)
4. Milner, R.: Communication and Concurrency. Prentice Hall, New Jercy (1989)
5. van Glabbeek, R.J.: The linear time - branching time spectrum II. In: CONCUR ’93, Proceedings of the 4th International Conference on Concurrency Theory, pp. 66–81 (1993)
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献