iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/conf/pdmc/2004.nt
.
.
"Lubos Brim and Martin Leucker: Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, PDMC 2004, London, UK, September 4, 2004 (2005)" .
_:ID_29e2a2ecac96c7fdca14b052fd5e747e . _:ID_29e2a2ecac96c7fdca14b052fd5e747e
. _:ID_29e2a2ecac96c7fdca14b052fd5e747e
. _:ID_29e2a2ecac96c7fdca14b052fd5e747e
. _:ID_29e2a2ecac96c7fdca14b052fd5e747e
"conf/pdmc/2004" .
"Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, PDMC 2004, London, UK, September 4, 2004" .
.
.
.
.
.
"2"^^
.
_:Sig_942ca75f03701141345eb4c55437bdc2_1 . _:Sig_942ca75f03701141345eb4c55437bdc2_1
. _:Sig_942ca75f03701141345eb4c55437bdc2_1
. _:Sig_942ca75f03701141345eb4c55437bdc2_1
"Lubos Brim" . _:Sig_942ca75f03701141345eb4c55437bdc2_1
. _:Sig_942ca75f03701141345eb4c55437bdc2_1
"1"^^
. _:Sig_942ca75f03701141345eb4c55437bdc2_1
.
_:Sig_942ca75f03701141345eb4c55437bdc2_2 . _:Sig_942ca75f03701141345eb4c55437bdc2_2
. _:Sig_942ca75f03701141345eb4c55437bdc2_2
. _:Sig_942ca75f03701141345eb4c55437bdc2_2
"Martin Leucker" . _:Sig_942ca75f03701141345eb4c55437bdc2_2
. _:Sig_942ca75f03701141345eb4c55437bdc2_2
"2"^^
. _:Sig_942ca75f03701141345eb4c55437bdc2_2
.
.
.
.
.
.
"Electronic Notes in Theoretical Computer Science" .
"Electronic Notes in Theoretical Computer Science" .
"128" .
"2005"^^
.
"Elsevier" .
"provenance information for RDF data of dblp record 'conf/pdmc/2004'" .
.
.
.
"2022-12-12T15:21:54+0100" .
