Träfflista för sökning "L773:9783959770873 "

Sökning: L773:9783959770873

Sortera/gruppera träfflistan

Sortering: Träffar per sida:

Numrering	Referens	Omslagsbild	Hitta
1.	Abdulla, Parosh Aziz, Professor, et al. (författare) Universal safety for timed Petri nets is PSPACE-complete 2018 Ingår i: 29th International Conference on Concurrency Theory. - Dagstuhl, Germany : Leibniz-Zentrum für Informatik. - 9783959770873 ; , s. 6:1-15 Konferensbidrag (refereegranskat)
2.	Atig, Mohamed Faouzi, et al. (författare) Verifying quantitative temporal properties of procedural programs 2018 Ingår i: 29th International Conference on Concurrency Theory. - Dagstuhl, Germany : Leibniz-Zentrum für Informatik. - 9783959770873 ; , s. 15:1-17 Konferensbidrag (refereegranskat)

Skapa referenser, mejla, bekava och länka

Författare/redaktör: Atig, Mohamed Faouzi (2); Bouajjani, Ahmed (1); Mayr, Richard (1); Abdulla, Parosh Aziz ... (1); Totzke, Patrick (1); Ciobanu, Radu (1); visa fler...; Saivasan, Prakash (1); Narayan Kumar, K. (1); visa färre...

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

Stäng

Kopiera och spara länken för att återkomma till aktuell vy