iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/conf/europar/BahsounEY99.nt
.
.
.
.
"Jean Paul Bahsoun et al.: Decision Procedure for Temporal Logic of Concurrent Objects. (1999)" .
.
_:ID_0d13de37cb2272cd5e50f2d8377bacce . _:ID_0d13de37cb2272cd5e50f2d8377bacce
. _:ID_0d13de37cb2272cd5e50f2d8377bacce
. _:ID_0d13de37cb2272cd5e50f2d8377bacce
. _:ID_0d13de37cb2272cd5e50f2d8377bacce
"conf/europar/BahsounEY99" .
_:ID_3c4149b77620d34a47c34d4e8bb2f95f . _:ID_3c4149b77620d34a47c34d4e8bb2f95f
. _:ID_3c4149b77620d34a47c34d4e8bb2f95f
. _:ID_3c4149b77620d34a47c34d4e8bb2f95f
. _:ID_3c4149b77620d34a47c34d4e8bb2f95f
"10.1007/3-540-48311-X_190" .
"Decision Procedure for Temporal Logic of Concurrent Objects." .
.
.
.
.
.
.
.
"3"^^
.
_:Sig_d06c7df626abd21121a9929693050c12_1 . _:Sig_d06c7df626abd21121a9929693050c12_1
. _:Sig_d06c7df626abd21121a9929693050c12_1
. _:Sig_d06c7df626abd21121a9929693050c12_1
"Jean Paul Bahsoun" . _:Sig_d06c7df626abd21121a9929693050c12_1
. _:Sig_d06c7df626abd21121a9929693050c12_1
"1"^^
. _:Sig_d06c7df626abd21121a9929693050c12_1
.
_:Sig_d06c7df626abd21121a9929693050c12_2 . _:Sig_d06c7df626abd21121a9929693050c12_2
. _:Sig_d06c7df626abd21121a9929693050c12_2
. _:Sig_d06c7df626abd21121a9929693050c12_2
"Rami El-Ba\u00EFda" . _:Sig_d06c7df626abd21121a9929693050c12_2
. _:Sig_d06c7df626abd21121a9929693050c12_2
"2"^^
. _:Sig_d06c7df626abd21121a9929693050c12_2
.
_:Sig_d06c7df626abd21121a9929693050c12_3 . _:Sig_d06c7df626abd21121a9929693050c12_3
. _:Sig_d06c7df626abd21121a9929693050c12_3
. _:Sig_d06c7df626abd21121a9929693050c12_3
"Hugues-Olivier Yar" . _:Sig_d06c7df626abd21121a9929693050c12_3
. _:Sig_d06c7df626abd21121a9929693050c12_3
"3"^^
. _:Sig_d06c7df626abd21121a9929693050c12_3
.
.
.
.
.
"1344-1352" .
"Euro-Par" .
"Euro-Par" .
"1999"^^
.
"1999"^^
.
.
"provenance information for RDF data of dblp record 'conf/europar/BahsounEY99'" .
.
.
.
"2017-05-24T08:27:50+0200" .
