Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings /
This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023. The 12 full and 7 short papers included in this volume were carefully reviewed and selected from 47 submissions. The proceedings also incl...
Bewaard in:
| Coauteur: | |
|---|---|
| Andere auteurs: | , , , |
| Formaat: | Elektronisch E-boek |
| Taal: | Engels |
| Gepubliceerd in: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2023.
|
| Editie: | 1st ed. 2023. |
| Reeks: | Lecture Notes in Computer Science,
14010 |
| Onderwerpen: | |
| Online toegang: | https://doi.org/10.1007/978-3-031-33163-3 |
| Tags: |
Voeg label toe
Geen labels, Wees de eerste die dit record labelt!
|
Het systeem is offline vanwege onderhoudswerken
Ons bibliotheek beheerssysteem is momenteel in onderhoud.
Reserveringen en beschikbaarheid van items momenteel niet beschikbaar. Met onze excuses. Contacteer ons voor hulp: