Λεπτομέρειες βιβλιογραφικής εγγραφής
| Τίτλος: |
HYASM: A Tool to Verify Hierarchical Systems |
| Συγγραφείς: |
Ferrando, Angelo, Malvone, Vadim, Murano, Aniello, Stranieri, Silvia |
| Πηγή: |
2023 IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2023 IEEE International Conference on. :1-6 Dec, 2023 |
| Relation: |
2023 IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) |
| Βάση Δεδομένων: |
IEEE Xplore Digital Library |