undefined

< Back to search results

Enforcement of (Timed) Properties with Uncontrollable Events

Year of publication

2015

Authors

Renard, Matthieu; Falcone, Yliès; Rollet, Antoine; Pinisetty, Srinivas; Jéron, Thierry; Marchand, Hervé

Organizations and authors

Aalto University

Publication type

Publication format

Article

Parent publication type

Conference

Article type

Other article

Audience

Scientific

Peer-reviewed

Peer-Reviewed

MINEDU's publication type classification code

A4 Article in conference proceedings

Publication channel information

Parent publication name

Theoretical Aspects of Computing ICTAC 2015, Cali, October 2015

Publisher

SPRINGER

Pages

542-560

ISBN

978-3-319-25149-3

​Publication forum

5952

​Publication forum level

2

Open access

Open access in the publisher’s service

No

Self-archived

No

Other information

Keywords

[object Object],[object Object],[object Object]

Internationality of the publisher

International

Language

English

International co-publication

Yes

Co-publication with a company

No

The publication is included in the Ministry of Education and Culture’s Publication data collection

Yes