BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Book chapters


Title
Logical Support for Bike-Sharing System Design

Participants in the publication
Ionut Tutu (Author)
Claudia Elena Chirita (Author)
Antónia Lopes (Author)
Dep. Informática
 LASIGE
 José Luiz Fiadeiro (Author)

Date of Publication
2019

Where published
From Software Engineering to Formal Methods and Tools, and Back,Lecture Notes in Computer Science

Publication Identifiers
ISSN - 0302-9743
eISSN - 1611-3349
ISBN - 9783030309848,9783030309855

Publisher
Springer International Publishing

Edition
1
Volume
11865

Number of pages
19
Starting page
152
Last page
171

Document Identifiers
DOI - https://doi.org/10.1007/978-3-030-30985-5_10
URL - http://dx.doi.org/10.1007/978-3-030-30985-5_10


Export

APA
Ionut Tutu, Claudia Elena Chirita, Antónia Lopes, José Luiz Fiadeiro, (2019). Logical Support for Bike-Sharing System Design. From Software Engineering to Formal Methods and Tools, and Back,Lecture Notes in Computer Science, 152-171

IEEE
Ionut Tutu, Claudia Elena Chirita, Antónia Lopes, José Luiz Fiadeiro, "Logical Support for Bike-Sharing System Design" in From Software Engineering to Formal Methods and Tools, and Back,Lecture Notes in Computer Science, 2019, pp. 152-171

BIBTEX
@incollection{43412, author = {Ionut Tutu and Claudia Elena Chirita and Antónia Lopes and José Luiz Fiadeiro}, title = {Logical Support for Bike-Sharing System Design}, booktitle = {From Software Engineering to Formal Methods and Tools, and Back,Lecture Notes in Computer Science}, year = 2019, pages = {152-171}, address = {}, publisher = {Springer International Publishing} }