共 50 条
- [2] THE FUNSOFT APPROACH TO BUSINESS PROCESS MANAGEMENT WIRTSCHAFTSINFORMATIK, 1995, 37 (05): : 459 - 466
- [4] Integrated process synthesis of large-scale chemical processes EUROPEAN SYMPOSIUM ON COMPUTER-AIDED PROCESS ENGINEERING - 14, 2004, 18 : 229 - 234
- [5] Large-Scale Formal Verification in Practice: A Process Perspective 2012 34TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2012, : 1002 - 1011