Author:
Bauer Friedrich L.,Wirsing Martin
Publisher
Springer Berlin Heidelberg
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modal Satisfiability via SMT Solving;Software, Services, and Systems;2015
2. Ode to the PST;Software, Services, and Systems;2015
3. A Homage to Martin Wirsing;Software, Services, and Systems;2015
4. Musterlösungen;Cognitive Computing;2014
5. Musterlösungen;Handbuch Robotik;2013