Matches in SemOpenAlex for { <https://semopenalex.org/work/W614774871> ?p ?o ?g. }
- W614774871 abstract "We explore and evaluate methods for validation of ad hoc routing protocols which are used to set up forwarding paths in spontaneous networks of mobile devices. The focus is automatic formal verific ..." @default.
- W614774871 created "2016-06-24" @default.
- W614774871 creator A5001332083 @default.
- W614774871 date "2005-01-01" @default.
- W614774871 modified "2023-09-26" @default.
- W614774871 title "Ad hoc routing protocol validation" @default.
- W614774871 cites W121750629 @default.
- W614774871 cites W1497571013 @default.
- W614774871 cites W1516849933 @default.
- W614774871 cites W1521838609 @default.
- W614774871 cites W1544287738 @default.
- W614774871 cites W1545344643 @default.
- W614774871 cites W1546777258 @default.
- W614774871 cites W1549535141 @default.
- W614774871 cites W1555718099 @default.
- W614774871 cites W1565016933 @default.
- W614774871 cites W1577246688 @default.
- W614774871 cites W1597299193 @default.
- W614774871 cites W1754957588 @default.
- W614774871 cites W1869294033 @default.
- W614774871 cites W1943502734 @default.
- W614774871 cites W1962072139 @default.
- W614774871 cites W2000548713 @default.
- W614774871 cites W2000947342 @default.
- W614774871 cites W2014550373 @default.
- W614774871 cites W2016646604 @default.
- W614774871 cites W2022318042 @default.
- W614774871 cites W2025002714 @default.
- W614774871 cites W2035776116 @default.
- W614774871 cites W2048198007 @default.
- W614774871 cites W2097308131 @default.
- W614774871 cites W2099574482 @default.
- W614774871 cites W2102258543 @default.
- W614774871 cites W2107725559 @default.
- W614774871 cites W2117039797 @default.
- W614774871 cites W2117526746 @default.
- W614774871 cites W2124651399 @default.
- W614774871 cites W2126385691 @default.
- W614774871 cites W2132826554 @default.
- W614774871 cites W2134178049 @default.
- W614774871 cites W2134474017 @default.
- W614774871 cites W2139808952 @default.
- W614774871 cites W2144690539 @default.
- W614774871 cites W2145000217 @default.
- W614774871 cites W2145998704 @default.
- W614774871 cites W2150451672 @default.
- W614774871 cites W2150454606 @default.
- W614774871 cites W2150686332 @default.
- W614774871 cites W2151579255 @default.
- W614774871 cites W2151643528 @default.
- W614774871 cites W2160078974 @default.
- W614774871 cites W2167551765 @default.
- W614774871 cites W2169746237 @default.
- W614774871 cites W38851120 @default.
- W614774871 cites W19874990 @default.
- W614774871 cites W2508602472 @default.
- W614774871 hasPublicationYear "2005" @default.
- W614774871 type Work @default.
- W614774871 sameAs 614774871 @default.
- W614774871 citedByCount "2" @default.
- W614774871 countsByYear W6147748712017 @default.
- W614774871 crossrefType "journal-article" @default.
- W614774871 hasAuthorship W614774871A5001332083 @default.
- W614774871 hasConcept C104954878 @default.
- W614774871 hasConcept C120314980 @default.
- W614774871 hasConcept C158379750 @default.
- W614774871 hasConcept C190526755 @default.
- W614774871 hasConcept C204739117 @default.
- W614774871 hasConcept C31258907 @default.
- W614774871 hasConcept C41008148 @default.
- W614774871 hasConcept C47318570 @default.
- W614774871 hasConcept C555944384 @default.
- W614774871 hasConcept C74172769 @default.
- W614774871 hasConcept C76155785 @default.
- W614774871 hasConcept C91280400 @default.
- W614774871 hasConcept C94523657 @default.
- W614774871 hasConceptScore W614774871C104954878 @default.
- W614774871 hasConceptScore W614774871C120314980 @default.
- W614774871 hasConceptScore W614774871C158379750 @default.
- W614774871 hasConceptScore W614774871C190526755 @default.
- W614774871 hasConceptScore W614774871C204739117 @default.
- W614774871 hasConceptScore W614774871C31258907 @default.
- W614774871 hasConceptScore W614774871C41008148 @default.
- W614774871 hasConceptScore W614774871C47318570 @default.
- W614774871 hasConceptScore W614774871C555944384 @default.
- W614774871 hasConceptScore W614774871C74172769 @default.
- W614774871 hasConceptScore W614774871C76155785 @default.
- W614774871 hasConceptScore W614774871C91280400 @default.
- W614774871 hasConceptScore W614774871C94523657 @default.
- W614774871 hasLocation W6147748711 @default.
- W614774871 hasOpenAccess W614774871 @default.
- W614774871 hasPrimaryLocation W6147748711 @default.
- W614774871 hasRelatedWork W1506113586 @default.
- W614774871 hasRelatedWork W1509401503 @default.
- W614774871 hasRelatedWork W1546777258 @default.
- W614774871 hasRelatedWork W1555718099 @default.
- W614774871 hasRelatedWork W2113064953 @default.
- W614774871 hasRelatedWork W2186434856 @default.
- W614774871 hasRelatedWork W2266427747 @default.
- W614774871 hasRelatedWork W2327594575 @default.