Go to Header
Go to Main Navigation
Go to Content
Go to Footer
Ohjeet
Kirjaudu sisään (ulkop. käyttäjät)
Kirjaudu sisään (JY-tunnus)
Saavutettavuus
English (GB)
Asiasanaluettelo
>
automaattien teoria
Etusivu
Asiantuntijat
Organisaatiot
Hankkeet
Julkaisut
Tutkimusaineistot
Tieteenalat
Rahoitusohjelmat
Seurantakohteet
YSO-asiasanat
automaattien teoria
http://www.yso.fi/onto/yso/p26349
Liittyvät julkaisut ja muut tuotokset
The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction
(
2020
)
Neele, Thomas; et al.
;
A4
;
OA
;
978-3-030-45231-5
Viimeisin päivitys 2020-23-04 klo 06:20