Logical Support for Bike-Sharing System Design

Ionut Tutu; Claudia-Elena Chirita; Antónia Lopes; José Luiz Fiadeiro

doi:10.1007/978-3-030-30985-5_10

Logical Support for Bike-Sharing System Design

Ionut Tutu, Claudia-Elena Chirita, Antónia Lopes, José Luiz Fiadeiro

Department of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

59 Downloads (Pure)

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

Publication series

Name	Lecture Notes In Computer Science
Publisher	Springer
Volume	11865

Access to Document

10.1007/978-3-030-30985-5_10

Accepted ManuscriptAccepted author manuscript, 548 KB

Cite this

Tutu, I., Chirita, C.-E., Lopes, A., & Fiadeiro, J. L. (2019). Logical Support for Bike-Sharing System Design. In M. H. ter Beek, A. Fantechi, & L. Semini (Eds.), From Software Engineering to Formal Methods and Tools, and Back (pp. 152-171). (Lecture Notes In Computer Science; Vol. 11865). Springer. Advance online publication. https://doi.org/10.1007/978-3-030-30985-5_10

@inproceedings{d2c6fd9c955749f69955d5b6fcb3864d,

title = "Logical Support for Bike-Sharing System Design",

author = "Ionut Tutu and Claudia-Elena Chirita and Ant{\'o}nia Lopes and Fiadeiro, {Jos{\'e} Luiz}",

year = "2019",

month = oct,

day = "9",

doi = "10.1007/978-3-030-30985-5_10",

language = "English",

isbn = "978-3-030-30984-8",

series = "Lecture Notes In Computer Science",

publisher = "Springer",

pages = "152--171",

editor = "{ter Beek}, {Maurice H} and Alessandro Fantechi and Laura Semini",

booktitle = "From Software Engineering to Formal Methods and Tools, and Back",

}

Logical Support for Bike-Sharing System Design. / Tutu, Ionut; Chirita, Claudia-Elena; Lopes, Antónia et al.
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

TY - GEN

T1 - Logical Support for Bike-Sharing System Design

AU - Tutu, Ionut

AU - Chirita, Claudia-Elena

AU - Lopes, Antónia

AU - Fiadeiro, José Luiz

PY - 2019/10/9

Y1 - 2019/10/9

U2 - 10.1007/978-3-030-30985-5_10

DO - 10.1007/978-3-030-30985-5_10

M3 - Conference contribution

SN - 978-3-030-30984-8

T3 - Lecture Notes In Computer Science

SP - 152

EP - 171

BT - From Software Engineering to Formal Methods and Tools, and Back

A2 - ter Beek, Maurice H

A2 - Fantechi, Alessandro

A2 - Semini, Laura

PB - Springer

ER -