L773:0925 9856 OR L773:1572 8102
Search: L773:0925 9856 OR L773:1572 8102 > (2010-2014) >
- 1 of
- Previous record
- To hitlist
Budget-bounded model-checking pushdown systems
-
- Abdulla, Parosh Aziz (author)
- Uppsala universitet,Datorteknik,Algorithmic Program Verification
-
- Atig, Mohamed Faouzi (author)
- Uppsala universitet,Datorteknik,Algorithmic Program Verification
-
- Rezine, Othmane (author)
- Uppsala universitet,Datorteknik,Algorithmic Program Verification
- show more...
- show less...
- (creator_code:org_t)
- 2014-04-25
- English.
- In: Formal methods in system design. - : Springer Science and Business Media LLC. - 0925-9856 .- 1572-8102. ; 45:2, s. 273-301
- Journal article (peer-reviewed)
To the university's database
- 1 of
- Previous record
- To hitlist
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.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
