undefined

< Back to search results

Safety Property-Driven Stubborn Sets

Year of publication

2016

Authors

Hansen, Henri;Valmari, Antti

Organizations and authors

Tampere University

Valmari Antti

Hansen Henri

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

Journal/Series

Lecture notes in computer science

Parent publication name

Reachability Problems

Conference

INTERNATIONAL WORKSHOP ON REACHABILITY PROBLEMS

Publisher

Springer

Volume

9899

Pages

90-103

ISSN

0302-9743

ISBN

978-3-319-45993-6

​Publication forum

62555

​Publication forum level

1

Open access

Open access in the publisher’s service

No

Self-archived

No

Other information

Fields of science

Mathematics

Internationality of the publisher

International

Language

English

International co-publication

No

Co-publication with a company

No

DOI

10.1007/978-3-319-45994-3_7

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

Yes