Formal verification of a trie-based data structure 2005 (Engelska)Konferensbidrag, Enbart muntlig presentation (Refereegranskat)

Ort, förlag, år, upplaga, sidor

2005.

Nationell ämneskategori

Datavetenskap (datalogi)

Forskningsämne

Kommunikations- och beräkningssystem

Identifikatorer

URN: urn:nbn:se:ltu:diva-30847Lokalt ID: 4d457480-799f-11db-8824-000ea68e967bOAI: oai:DiVA.org:ltu-30847DiVA, id: diva2:1004076

Konferens

Nordic Workshop on Programming Theory : 19/10/2005 - 21/10/2005

Anmärkning

Godkänd; 2005; 20060922 (ysko)Tillgänglig från: 2016-09-30 Skapad: 2016-09-30 Senast uppdaterad: 2023-05-04Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Person

Brodnik, AndrejNordlander, Johan

Sök vidare i DiVA

Av författaren/redaktören

Brodnik, AndrejNordlander, Johan

Av organisationen

Luleå tekniska universitetDatavetenskap

I ämnet

Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle ScholarTotalt: 472 träffar