Author of the publication

Logical Support for Bike-Sharing System Design.

, , , and . From Software Engineering to Formal Methods and Tools, and Back, volume 11865 of Lecture Notes in Computer Science, page 152-171. Springer, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Many-Valued Institutions for Constraint Specification., , and . FASE, volume 9633 of Lecture Notes in Computer Science, page 359-376. Springer, (2016)Logics and reasoning for computational creativity.. Royal Holloway, University of London, Egham, UK, (2018)British Library, EThOS.Free Jazz in the Land of Algebraic Improvisation., and . ICCC, page 322-329. Sony CSL Paris, France, (2016)Logical Support for Bike-Sharing System Design., , , and . From Software Engineering to Formal Methods and Tools, and Back, volume 11865 of Lecture Notes in Computer Science, page 152-171. Springer, (2019)An Institutional Foundation for the K Semantic Framework., and . WADT, volume 9463 of Lecture Notes in Computer Science, page 9-29. Springer, (2014)Dynamic Reconfiguration via Typed Modalities., , and . FM, volume 13047 of Lecture Notes in Computer Science, page 599-615. Springer, (2021)