iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/conf/fm/MunozR99.nt
.
.
.
.
"C\u00E9sar A. Mu\u00F1oz and John M. Rushby: Structural Embeddings: Mechanization with Method. (1999)" .
.
_:ID_f186ad5f4dd2b5df82abdb719d0a31e0 . _:ID_f186ad5f4dd2b5df82abdb719d0a31e0
. _:ID_f186ad5f4dd2b5df82abdb719d0a31e0
. _:ID_f186ad5f4dd2b5df82abdb719d0a31e0
. _:ID_f186ad5f4dd2b5df82abdb719d0a31e0
"conf/fm/MunozR99" .
_:ID_ee66a0a1a8f3505c17699ddc629025d7 . _:ID_ee66a0a1a8f3505c17699ddc629025d7
. _:ID_ee66a0a1a8f3505c17699ddc629025d7
. _:ID_ee66a0a1a8f3505c17699ddc629025d7
. _:ID_ee66a0a1a8f3505c17699ddc629025d7
"10.1007/3-540-48119-2_26" .
"Structural Embeddings: Mechanization with Method." .
.
.
.
.
.
"2"^^
.
_:Sig_5e35a649dc139d23ef5ad45c2b4b1924_1 . _:Sig_5e35a649dc139d23ef5ad45c2b4b1924_1
. _:Sig_5e35a649dc139d23ef5ad45c2b4b1924_1
. _:Sig_5e35a649dc139d23ef5ad45c2b4b1924_1
"C\u00E9sar A. Mu\u00F1oz" . _:Sig_5e35a649dc139d23ef5ad45c2b4b1924_1
. _:Sig_5e35a649dc139d23ef5ad45c2b4b1924_1
"1"^^
. _:Sig_5e35a649dc139d23ef5ad45c2b4b1924_1
.
_:Sig_5e35a649dc139d23ef5ad45c2b4b1924_2 . _:Sig_5e35a649dc139d23ef5ad45c2b4b1924_2
. _:Sig_5e35a649dc139d23ef5ad45c2b4b1924_2
. _:Sig_5e35a649dc139d23ef5ad45c2b4b1924_2
"John M. Rushby" . _:Sig_5e35a649dc139d23ef5ad45c2b4b1924_2
. _:Sig_5e35a649dc139d23ef5ad45c2b4b1924_2
"2"^^
. _:Sig_5e35a649dc139d23ef5ad45c2b4b1924_2
.
.
.
.
.
"452-471" .
"World Congress on Formal Methods" .
"World Congress on Formal Methods" .
"1999"^^
.
"1999"^^
.
.
"provenance information for RDF data of dblp record 'conf/fm/MunozR99'" .
.
.
.
"2017-05-22T17:11:19+0200" .
