Rigorous state-based methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings /
Saved in:
| Corporate Authors: | , |
|---|---|
| Other Authors: | , , |
| Format: | Electronic Conference Proceeding eBook |
| Language: | English |
| Published: |
Cham :
Springer,
2020.
|
| Series: | Lecture notes in computer science ;
12071. LNCS sublibrary. Theoretical computer science and general issues. |
| Subjects: | |
| Online Access: | Connect to this title online (unlimited simultaneous users allowed; 325 uses per year) |
System Under Maintenance
Our Library Management System is currently under maintenance.
Holdings and item availability information is currently unavailable. Please accept our apologies for any inconvenience this may cause and contact us for further assistance: