iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/conf/fmcad/EisnerF08.nt
.
.
.
.
"Cindy Eisner and Dana Fisman: Augmenting a Regular Expression-Based Temporal Logic with Local Variables. (2008)" .
.
_:ID_ca609fe2e6d6d84823d0af0a60feb349 . _:ID_ca609fe2e6d6d84823d0af0a60feb349
. _:ID_ca609fe2e6d6d84823d0af0a60feb349
. _:ID_ca609fe2e6d6d84823d0af0a60feb349
. _:ID_ca609fe2e6d6d84823d0af0a60feb349
"conf/fmcad/EisnerF08" .
_:ID_e663d2b47d87d5c5be80a7f83062000a . _:ID_e663d2b47d87d5c5be80a7f83062000a
. _:ID_e663d2b47d87d5c5be80a7f83062000a
. _:ID_e663d2b47d87d5c5be80a7f83062000a
. _:ID_e663d2b47d87d5c5be80a7f83062000a
"10.1109/FMCAD.2008.ECP.27" .
"Augmenting a Regular Expression-Based Temporal Logic with Local Variables." .
.
.
.
.
.
"2"^^
.
_:Sig_e72b70878999fb8c409b7faf03c1d68d_1 . _:Sig_e72b70878999fb8c409b7faf03c1d68d_1
. _:Sig_e72b70878999fb8c409b7faf03c1d68d_1
. _:Sig_e72b70878999fb8c409b7faf03c1d68d_1
"Cindy Eisner" . _:Sig_e72b70878999fb8c409b7faf03c1d68d_1
. _:Sig_e72b70878999fb8c409b7faf03c1d68d_1
"1"^^
. _:Sig_e72b70878999fb8c409b7faf03c1d68d_1
.
_:Sig_e72b70878999fb8c409b7faf03c1d68d_2 . _:Sig_e72b70878999fb8c409b7faf03c1d68d_2
. _:Sig_e72b70878999fb8c409b7faf03c1d68d_2
. _:Sig_e72b70878999fb8c409b7faf03c1d68d_2
"Dana Fisman" . _:Sig_e72b70878999fb8c409b7faf03c1d68d_2
. _:Sig_e72b70878999fb8c409b7faf03c1d68d_2
. _:Sig_e72b70878999fb8c409b7faf03c1d68d_2
"2"^^
. _:Sig_e72b70878999fb8c409b7faf03c1d68d_2
.
.
.
.
.
"1-8" .
"FMCAD" .
"FMCAD" .
"2008"^^
.
"2008"^^
.
.
"provenance information for RDF data of dblp record 'conf/fmcad/EisnerF08'" .
.
.
.
"2017-06-15T21:35:42+0200" .
