Author:
Gössler Gregor,Stefani Jean-Bernard
Publisher
Springer International Publishing
Reference21 articles.
1. Lecture Notes in Computer Science;P Baldan,2008
2. Beer, I., Ben-David, S., Chockler, H., Orni, A., Trefler, R.J.: Explaining counterexamples using causality. Formal Methods Syst. Des. 40(1), 20–40 (2012)
3. Lecture Notes in Computer Science;A Benveniste,2003
4. Brennan, A.: Necessary and sufficient conditions. In: Zalta, E.N., (ed.) The Stanford Encyclopedia of Philosophy. Winter 2012 (edn.) (2012)
5. Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems, 2nd edn. Springer, New York (2008)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献