iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/formats/AndreMPP22.nt
. . . . "\u00C9tienne Andr\u00E9 et al.: Efficient Convex Zone Merging in Parametric Timed Automata. (2022)" . . _:ID_8d59e5d829064900655011807f397ebf . _:ID_8d59e5d829064900655011807f397ebf . _:ID_8d59e5d829064900655011807f397ebf . _:ID_8d59e5d829064900655011807f397ebf . _:ID_8d59e5d829064900655011807f397ebf "conf/formats/AndreMPP22" . _:ID_8df7ee218a76f943afc41d8a6108a519 . _:ID_8df7ee218a76f943afc41d8a6108a519 . _:ID_8df7ee218a76f943afc41d8a6108a519 . _:ID_8df7ee218a76f943afc41d8a6108a519 . _:ID_8df7ee218a76f943afc41d8a6108a519 "10.1007/978-3-031-15839-1_12" . "Efficient Convex Zone Merging in Parametric Timed Automata." . . . . . . . . . . "4"^^ . _:Sig_eaf2a09ad2dcd8bcc2e8cc4329100e7b_1 . _:Sig_eaf2a09ad2dcd8bcc2e8cc4329100e7b_1 . _:Sig_eaf2a09ad2dcd8bcc2e8cc4329100e7b_1 . _:Sig_eaf2a09ad2dcd8bcc2e8cc4329100e7b_1 "\u00C9tienne Andr\u00E9" . _:Sig_eaf2a09ad2dcd8bcc2e8cc4329100e7b_1 . _:Sig_eaf2a09ad2dcd8bcc2e8cc4329100e7b_1 . _:Sig_eaf2a09ad2dcd8bcc2e8cc4329100e7b_1 "1"^^ . _:Sig_eaf2a09ad2dcd8bcc2e8cc4329100e7b_1 . _:Sig_eaf2a09ad2dcd8bcc2e8cc4329100e7b_2 . _:Sig_eaf2a09ad2dcd8bcc2e8cc4329100e7b_2 . _:Sig_eaf2a09ad2dcd8bcc2e8cc4329100e7b_2 . _:Sig_eaf2a09ad2dcd8bcc2e8cc4329100e7b_2 "Dylan Marinho" . _:Sig_eaf2a09ad2dcd8bcc2e8cc4329100e7b_2 . _:Sig_eaf2a09ad2dcd8bcc2e8cc4329100e7b_2 . _:Sig_eaf2a09ad2dcd8bcc2e8cc4329100e7b_2 "2"^^ . _:Sig_eaf2a09ad2dcd8bcc2e8cc4329100e7b_2 . _:Sig_eaf2a09ad2dcd8bcc2e8cc4329100e7b_3 . _:Sig_eaf2a09ad2dcd8bcc2e8cc4329100e7b_3 . _:Sig_eaf2a09ad2dcd8bcc2e8cc4329100e7b_3 . _:Sig_eaf2a09ad2dcd8bcc2e8cc4329100e7b_3 "Laure Petrucci" . _:Sig_eaf2a09ad2dcd8bcc2e8cc4329100e7b_3 . _:Sig_eaf2a09ad2dcd8bcc2e8cc4329100e7b_3 . _:Sig_eaf2a09ad2dcd8bcc2e8cc4329100e7b_3 "3"^^ . _:Sig_eaf2a09ad2dcd8bcc2e8cc4329100e7b_3 . _:Sig_eaf2a09ad2dcd8bcc2e8cc4329100e7b_4 . _:Sig_eaf2a09ad2dcd8bcc2e8cc4329100e7b_4 . _:Sig_eaf2a09ad2dcd8bcc2e8cc4329100e7b_4 . _:Sig_eaf2a09ad2dcd8bcc2e8cc4329100e7b_4 "Jaco van de Pol" . _:Sig_eaf2a09ad2dcd8bcc2e8cc4329100e7b_4 . _:Sig_eaf2a09ad2dcd8bcc2e8cc4329100e7b_4 . _:Sig_eaf2a09ad2dcd8bcc2e8cc4329100e7b_4 "4"^^ . _:Sig_eaf2a09ad2dcd8bcc2e8cc4329100e7b_4 . . . . . "200-218" . "FORMATS" . "FORMATS" . "2022"^^ . "2022"^^ . . "provenance information for RDF data of dblp record 'conf/formats/AndreMPP22'" . . . . "2022-09-22T19:57:48+0200" .