Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Agata Pólrola

Advances in Verification of Time Petri Nets and Timed Automata

Studies in Computational Intelligence

Artificial Intelligence

English