iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.uni-trier.de/rec/conf/coordination/DuranS17.nt
.
.
.
.
.
"Francisco Dur\u00E1n and Gwen Sala\u00FCn: Verifying Timed BPMN Processes Using Maude. (2017)" .
.
_:ID_adc194b6b6470c75c50cedd2162155f6 . _:ID_adc194b6b6470c75c50cedd2162155f6
. _:ID_adc194b6b6470c75c50cedd2162155f6
. _:ID_adc194b6b6470c75c50cedd2162155f6
. _:ID_adc194b6b6470c75c50cedd2162155f6
"conf/coordination/DuranS17" .
_:ID_b0c5c4c145a2fe72211e1721558246d4 . _:ID_b0c5c4c145a2fe72211e1721558246d4
. _:ID_b0c5c4c145a2fe72211e1721558246d4
. _:ID_b0c5c4c145a2fe72211e1721558246d4
. _:ID_b0c5c4c145a2fe72211e1721558246d4
"10.1007/978-3-319-59746-1_12" .
"Verifying Timed BPMN Processes Using Maude." .
.
.
.
.
.
"2"^^
.
_:Sig_4a00a7e0c68d09b9614c00fc2667533a_1 . _:Sig_4a00a7e0c68d09b9614c00fc2667533a_1
. _:Sig_4a00a7e0c68d09b9614c00fc2667533a_1
. _:Sig_4a00a7e0c68d09b9614c00fc2667533a_1
"Francisco Dur\u00E1n 0001" . _:Sig_4a00a7e0c68d09b9614c00fc2667533a_1
. _:Sig_4a00a7e0c68d09b9614c00fc2667533a_1
"1"^^
. _:Sig_4a00a7e0c68d09b9614c00fc2667533a_1
.
_:Sig_4a00a7e0c68d09b9614c00fc2667533a_2 . _:Sig_4a00a7e0c68d09b9614c00fc2667533a_2
. _:Sig_4a00a7e0c68d09b9614c00fc2667533a_2
. _:Sig_4a00a7e0c68d09b9614c00fc2667533a_2
"Gwen Sala\u00FCn" . _:Sig_4a00a7e0c68d09b9614c00fc2667533a_2
. _:Sig_4a00a7e0c68d09b9614c00fc2667533a_2
"2"^^
. _:Sig_4a00a7e0c68d09b9614c00fc2667533a_2
.
.
.
.
.
"219-236" .
"COORDINATION" .
"COORDINATION" .
"2017"^^
.
"2017"^^
.
.
"provenance information for RDF data of dblp record 'conf/coordination/DuranS17'" .
.
.
.
"2021-06-28T11:09:20+0200" .
