مؤتمر
Switss: Computing Small Witnessing Subsystems
| العنوان: | Switss: Computing Small Witnessing Subsystems |
|---|---|
| المؤلفون: | Jantsch, Simon, Harder, Hans, Funke, Florian, Baier, Christel |
| المصدر: | 2020 Formal Methods in Computer Aided Design (FMCAD) Formal Methods in Computer Aided Design (FMCAD), 2020. :236-244 Sep, 2020 |
| Relation: | 2020 Formal Methods in Computer Aided Design (FMCAD) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 9783854480426 |
|---|---|
| تدمد: | 27087824 |
| DOI: | 10.34727/2020/isbn.978-3-85448-042-6_31 |