Logical Support for Bike-Sharing System Design. / Tutu, Ionut; Chirita, Claudia-Elena; Lopes, Antónia; Fiadeiro, José Luiz.
From Software Engineering to Formal Methods and Tools, and Back. ed. / Maurice H ter Beek; Alessandro Fantechi; Laura Semini. Springer, 2019. p. 152-171 (Lecture Notes In Computer Science; Vol. 11865).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Accepted author manuscript, 548 KB, PDF document
Original language | English |
---|---|
Title of host publication | From Software Engineering to Formal Methods and Tools, and Back |
Editors | Maurice H ter Beek, Alessandro Fantechi, Laura Semini |
Publisher | Springer |
Chapter | 10 |
Pages | 152-171 |
Number of pages | 20 |
ISBN (Electronic) | 978-3-030-30985-5 |
ISBN (Print) | 978-3-030-30984-8 |
DOIs | |
Publication status | E-pub ahead of print - 9 Oct 2019 |
Name | Lecture Notes In Computer Science |
---|---|
Publisher | Springer |
Volume | 11865 |
ID: 34196571