[RDF data]
Home | Example Publications
PropertyValue
dcterms:bibliographicCitation <http://dblp.uni-trier.de/rec/bibtex/conf/icse/RomanMP96>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Gruia-Catalin_Roman>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Jerome_Y._Plun>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Peter_J._McCann>
foaf:homepage <http://portal.acm.org/citation.cfm?id=227726.227756>
dc:identifier DBLP conf/icse/RomanMP96 (xsd:string)
dcterms:issued 1996 (xsd:gYear)
rdfs:label Assertional Reasoning about Pairwise Transient Interactions in Mobile Computing. (xsd:string)
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Gruia-Catalin_Roman>
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Jerome_Y._Plun>
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Peter_J._McCann>
swrc:pages 155-164 (xsd:string)
dcterms:partOf <https://dblp.l3s.de/d2r/resource/publications/conf/icse/1996>
owl:sameAs <http://bibsonomy.org/uri/bibtexkey/conf/icse/RomanMP96/dblp>
owl:sameAs <http://dblp.rkbexplorer.com/id/conf/icse/RomanMP96>
rdfs:seeAlso <http://dblp.uni-trier.de/db/conf/icse/icse96.html#RomanMP96>
rdfs:seeAlso <http://portal.acm.org/citation.cfm?id=227726.227756>
swrc:series <https://dblp.l3s.de/d2r/resource/conferences/icse>
dc:subject UNITY proof logic, action synchronization, assertional reasoning, computer networks, continuous position changes, decoupled computing style, dependability, disconnections, distributed computing, distributed processing, independent computing units, location-dependent behavior, location-dependent communication patterns, mobile computing, mobile radio, modularity, network operating systems, pairwise transient interactions, synchronisation, transient program interactions, variable sharing (xsd:string)
dc:title Assertional Reasoning about Pairwise Transient Interactions in Mobile Computing. (xsd:string)
dc:type <http://purl.org/dc/dcmitype/Text>
rdf:type swrc:InProceedings
rdf:type foaf:Document