Author:
Mateo José Antonio,Srba Jiří,Sørensen Mathias Grund
Publisher
Springer International Publishing
Reference19 articles.
1. Lecture Notes in Computer Science;M. Andersen,2013
2. Lecture Notes in Computer Science;C. Bertolini,2013
3. Bolognesi, T., Lucidi, F., Trigila, S.: From timed Petri nets to timed LOTOS. In: PSTV 1990, pp. 1–14. North-Holland, Amsterdam (1990)
4. Christov, S.C., Avrunin, G.S., Clarke, A.L., Osterweil, L.J., Henneman, E.A.: A benchmark for evaluating software engineering techniques for improving medical processes. In: SEHC 2010, pp. 50–56. ACM (2010)
5. Lecture Notes in Computer Science;A. David,2012
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献