WFRF:(Nylén Aletta)
Sökning: WFRF:(Nylén Aletta) > Unfoldings of Unbou...
Unfoldings of Unbounded Petri Nets
-
- Abdulla, Parosh Aziz (författare)
- Uppsala universitet,Institutionen för informationsteknologi
- Iyer, Purushothaman (författare)
- Nylen, Aletta (författare)
- (creator_code:org_t)
- Springer Verlag, 2000
- 2000
- Engelska.
- Ingår i: Proc. 12tn Int. Conf. on Computer Aided Verification. - : Springer Verlag. ; , s. 495-507
- Konferensbidrag (refereegranskat)
Till lärosätets databas
Hitta mer i SwePub
- Av författaren/redakt...
- Abdulla, Parosh ...
- Iyer, Purushotha ...
- Nylen, Aletta
- Artiklar i publikationen
- Proc. 12tn Int. ...
- Av lärosätet
- Uppsala universitet
Sök utanför SwePub
- Sök vidare i:
- Google Book Search
- Google Scholar
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 - Nationella bibliotekssystem
- LIBRIS.kb.se
