Search results

Articles (4)

Journals (0)

1-4 of 4 results for universal reachability set

Sort by:

Relevance

Select all

Sort by:

Relevance

Retricted access

Research article

First published 2019

Co-Finiteness and Co-Emptiness of Reachability Sets in Vector Addition Systems with States

Petr Jančar, Jérôme Leroux, Grégoire Sutre

Fundamenta Informaticae

Retricted access

Research article

First published 2006-2-1

Riccardo Focardi, Sabina Rossi

Journal of Computer Security

Open access

Research article

First published 2012-2

Francesco Alberti, Silvio Ghilardi, Elena Pagani [...]

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2015-3

Carmelina Abagnale, Mariano Migliaccio, Ottavio Pennacchia

Proceedings of the Institution of Mechanical Engineers,Part C: Journal of Mechanical Engineering Science