iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/conf/dagstuhl/AddibpourT95.nt
.
.
.
.
"Mattin Addibpour and Enn Tyugu: Structural Synthesis of Programs from Refined User Requirements (Programming Boiler Control in NUT). (1995)" .
.
_:ID_92e4ae2c60a0bdb1aa300747c07b0732 . _:ID_92e4ae2c60a0bdb1aa300747c07b0732
. _:ID_92e4ae2c60a0bdb1aa300747c07b0732
. _:ID_92e4ae2c60a0bdb1aa300747c07b0732
. _:ID_92e4ae2c60a0bdb1aa300747c07b0732
"conf/dagstuhl/AddibpourT95" .
_:ID_95e8de36effcafae040c2c04d7f8ea40 . _:ID_95e8de36effcafae040c2c04d7f8ea40
. _:ID_95e8de36effcafae040c2c04d7f8ea40
. _:ID_95e8de36effcafae040c2c04d7f8ea40
. _:ID_95e8de36effcafae040c2c04d7f8ea40
"10.1007/BFB0027229" .
"Structural Synthesis of Programs from Refined User Requirements (Programming Boiler Control in NUT)." .
.
.
.
.
.
"2"^^
.
_:Sig_2f23c15670e6baf5466f1a71d0c10476_1 . _:Sig_2f23c15670e6baf5466f1a71d0c10476_1
. _:Sig_2f23c15670e6baf5466f1a71d0c10476_1
. _:Sig_2f23c15670e6baf5466f1a71d0c10476_1
"Mattin Addibpour" . _:Sig_2f23c15670e6baf5466f1a71d0c10476_1
. _:Sig_2f23c15670e6baf5466f1a71d0c10476_1
"1"^^
. _:Sig_2f23c15670e6baf5466f1a71d0c10476_1
.
_:Sig_2f23c15670e6baf5466f1a71d0c10476_2 . _:Sig_2f23c15670e6baf5466f1a71d0c10476_2
. _:Sig_2f23c15670e6baf5466f1a71d0c10476_2
. _:Sig_2f23c15670e6baf5466f1a71d0c10476_2
"Enn Tyugu" . _:Sig_2f23c15670e6baf5466f1a71d0c10476_2
. _:Sig_2f23c15670e6baf5466f1a71d0c10476_2
"2"^^
. _:Sig_2f23c15670e6baf5466f1a71d0c10476_2
.
.
.
.
.
"13-34" .
"Formal Methods for Industrial Applications" .
"Formal Methods for Industrial Applications" .
"1995"^^
.
"1996"^^
.
.
"provenance information for RDF data of dblp record 'conf/dagstuhl/AddibpourT95'" .
.
.
.
"2017-05-19T01:26:09+0200" .
