iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.uni-trier.de/rec/conf/birthday/HennickerW19.nt
.
.
.
.
.
"Rolf Hennicker and Martin Wirsing: A Generic Dynamic Logic with Applications to Interaction-Based Systems. (2019)" .
.
_:ID_8e05b76c184c57c6a55110877826a147 . _:ID_8e05b76c184c57c6a55110877826a147
. _:ID_8e05b76c184c57c6a55110877826a147
. _:ID_8e05b76c184c57c6a55110877826a147
. _:ID_8e05b76c184c57c6a55110877826a147
"conf/birthday/HennickerW19" .
_:ID_9109e776a7a849c366a1ac79566bd5ea . _:ID_9109e776a7a849c366a1ac79566bd5ea
. _:ID_9109e776a7a849c366a1ac79566bd5ea
. _:ID_9109e776a7a849c366a1ac79566bd5ea
. _:ID_9109e776a7a849c366a1ac79566bd5ea
"10.1007/978-3-030-30985-5_11" .
"A Generic Dynamic Logic with Applications to Interaction-Based Systems." .
.
.
.
.
.
"2"^^
.
_:Sig_2a44ca962892550a419023b1886c9e8b_1 . _:Sig_2a44ca962892550a419023b1886c9e8b_1
. _:Sig_2a44ca962892550a419023b1886c9e8b_1
. _:Sig_2a44ca962892550a419023b1886c9e8b_1
"Rolf Hennicker" . _:Sig_2a44ca962892550a419023b1886c9e8b_1
. _:Sig_2a44ca962892550a419023b1886c9e8b_1
"1"^^
. _:Sig_2a44ca962892550a419023b1886c9e8b_1
.
_:Sig_2a44ca962892550a419023b1886c9e8b_2 . _:Sig_2a44ca962892550a419023b1886c9e8b_2
. _:Sig_2a44ca962892550a419023b1886c9e8b_2
. _:Sig_2a44ca962892550a419023b1886c9e8b_2
"Martin Wirsing" . _:Sig_2a44ca962892550a419023b1886c9e8b_2
. _:Sig_2a44ca962892550a419023b1886c9e8b_2
"2"^^
. _:Sig_2a44ca962892550a419023b1886c9e8b_2
.
.
.
.
.
"172-187" .
"From Software Engineering to Formal Methods and Tools, and Back" .
"From Software Engineering to Formal Methods and Tools, and Back" .
"2019"^^
.
"2019"^^
.
.
"provenance information for RDF data of dblp record 'conf/birthday/HennickerW19'" .
.
.
.
"2019-10-09T10:10:55+0200" .
