iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/conf/asm/Kardos05.nt
.
.
"Martin Kardos: An Approach to Model Checking AsmL Specifications. (2005)" .
_:ID_fb18999165af56efe1513f4a6057db2e . _:ID_fb18999165af56efe1513f4a6057db2e
. _:ID_fb18999165af56efe1513f4a6057db2e
. _:ID_fb18999165af56efe1513f4a6057db2e
. _:ID_fb18999165af56efe1513f4a6057db2e
"conf/asm/Kardos05" .
"An Approach to Model Checking AsmL Specifications." .
.
.
.
"1"^^
.
_:Sig_b312698b4eec40ab994b0f444994c4ea_1 . _:Sig_b312698b4eec40ab994b0f444994c4ea_1
. _:Sig_b312698b4eec40ab994b0f444994c4ea_1
. _:Sig_b312698b4eec40ab994b0f444994c4ea_1
"Martin Kardos" . _:Sig_b312698b4eec40ab994b0f444994c4ea_1
. _:Sig_b312698b4eec40ab994b0f444994c4ea_1
"1"^^
. _:Sig_b312698b4eec40ab994b0f444994c4ea_1
.
.
.
.
.
"289-304" .
"Abstract State Machines" .
"Abstract State Machines" .
"2005"^^
.
"2005"^^
.
.
"provenance information for RDF data of dblp record 'conf/asm/Kardos05'" .
.
.
.
"2007-07-26T15:03:06+0200" .
