iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.uni-trier.de/rec/conf/tamc/TianD08.nt
.
.
.
.
.
"Cong Tian and Zhenhua Duan: Propositional Projection Temporal Logic, Bchi Automata and omega-Regular Expressions. (2008)" .
.
_:ID_8381f0017a19a12869ba95ba74c22567 . _:ID_8381f0017a19a12869ba95ba74c22567
. _:ID_8381f0017a19a12869ba95ba74c22567
. _:ID_8381f0017a19a12869ba95ba74c22567
. _:ID_8381f0017a19a12869ba95ba74c22567
"conf/tamc/TianD08" .
_:ID_b1e12876819ca5ebbeb4d93eec32b4da . _:ID_b1e12876819ca5ebbeb4d93eec32b4da
. _:ID_b1e12876819ca5ebbeb4d93eec32b4da
. _:ID_b1e12876819ca5ebbeb4d93eec32b4da
. _:ID_b1e12876819ca5ebbeb4d93eec32b4da
"10.1007/978-3-540-79228-4_4" .
"Propositional Projection Temporal Logic, Bchi Automata and omega-Regular Expressions." .
.
.
.
.
.
"2"^^
.
_:Sig_3b7bbffb63568ae421b465b45dff0f23_1 . _:Sig_3b7bbffb63568ae421b465b45dff0f23_1
. _:Sig_3b7bbffb63568ae421b465b45dff0f23_1
. _:Sig_3b7bbffb63568ae421b465b45dff0f23_1
"Cong Tian" . _:Sig_3b7bbffb63568ae421b465b45dff0f23_1
. _:Sig_3b7bbffb63568ae421b465b45dff0f23_1
"1"^^
. _:Sig_3b7bbffb63568ae421b465b45dff0f23_1
.
_:Sig_3b7bbffb63568ae421b465b45dff0f23_2 . _:Sig_3b7bbffb63568ae421b465b45dff0f23_2
. _:Sig_3b7bbffb63568ae421b465b45dff0f23_2
. _:Sig_3b7bbffb63568ae421b465b45dff0f23_2
"Zhenhua Duan" . _:Sig_3b7bbffb63568ae421b465b45dff0f23_2
. _:Sig_3b7bbffb63568ae421b465b45dff0f23_2
"2"^^
. _:Sig_3b7bbffb63568ae421b465b45dff0f23_2
.
.
.
.
.
"47-58" .
"TAMC" .
"TAMC" .
"2008"^^
.
"2008"^^
.
.
"provenance information for RDF data of dblp record 'conf/tamc/TianD08'" .
.
.
.
"2017-05-21T00:19:54+0200" .
