iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/conf/asm/Schellhorn05.nt
.
.
"Gerhard Schellhorn: ASMs and Refinement of State-based Systems. (2005)" .
_:ID_927f4081ab4f3c33a43a7560961f2172 . _:ID_927f4081ab4f3c33a43a7560961f2172
. _:ID_927f4081ab4f3c33a43a7560961f2172
. _:ID_927f4081ab4f3c33a43a7560961f2172
. _:ID_927f4081ab4f3c33a43a7560961f2172
"conf/asm/Schellhorn05" .
"ASMs and Refinement of State-based Systems." .
.
.
.
"1"^^
.
_:Sig_790d3bc8dc98e9ef8ac870a7c768cf2e_1 . _:Sig_790d3bc8dc98e9ef8ac870a7c768cf2e_1
. _:Sig_790d3bc8dc98e9ef8ac870a7c768cf2e_1
. _:Sig_790d3bc8dc98e9ef8ac870a7c768cf2e_1
"Gerhard Schellhorn" . _:Sig_790d3bc8dc98e9ef8ac870a7c768cf2e_1
. _:Sig_790d3bc8dc98e9ef8ac870a7c768cf2e_1
"1"^^
. _:Sig_790d3bc8dc98e9ef8ac870a7c768cf2e_1
.
.
.
.
.
"74-75" .
"Abstract State Machines" .
"Abstract State Machines" .
"2005"^^
.
"2005"^^
.
.
"provenance information for RDF data of dblp record 'conf/asm/Schellhorn05'" .
.
.
.
"2007-07-26T15:03:06+0200" .
