Logical Support for Bike-Sharing System Design - Research - Royal Holloway, University of London

Home > Computer Science home > Research > Profile > Publications > Logical Support for Bike-Sharing System Design

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

E-pub ahead of print

Documents

Accepted Manuscript
Accepted author manuscript, 547 KB, PDF document

Department of Computer Science

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	https://doi.org/10.1007/978-3-030-30985-5_10
Publication status	E-pub ahead of print - 9 Oct 2019