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.dagstuhl.de/rec/journals/entcs/JezekKP06.nt
. . . . . "Pavel Jezek et al.: Model Checking of Component Behavior Specification: A Real Life Experience. (2005)" . . _:ID_273b5e5dc3b63e6a787872fe300f786b . _:ID_273b5e5dc3b63e6a787872fe300f786b . _:ID_273b5e5dc3b63e6a787872fe300f786b . _:ID_273b5e5dc3b63e6a787872fe300f786b . _:ID_273b5e5dc3b63e6a787872fe300f786b "journals/entcs/JezekKP06" . _:ID_5668c9dd6eb49ee730040689736943c8 . _:ID_5668c9dd6eb49ee730040689736943c8 . _:ID_5668c9dd6eb49ee730040689736943c8 . _:ID_5668c9dd6eb49ee730040689736943c8 . _:ID_5668c9dd6eb49ee730040689736943c8 "10.1016/J.ENTCS.2006.05.023" . "Model Checking of Component Behavior Specification: A Real Life Experience." . . . . . . . . "3"^^ . _:Sig_ea93fe1c1f3f9dae3bd112bc8b98d7af_1 . _:Sig_ea93fe1c1f3f9dae3bd112bc8b98d7af_1 . _:Sig_ea93fe1c1f3f9dae3bd112bc8b98d7af_1 . _:Sig_ea93fe1c1f3f9dae3bd112bc8b98d7af_1 "Pavel Jezek" . _:Sig_ea93fe1c1f3f9dae3bd112bc8b98d7af_1 . _:Sig_ea93fe1c1f3f9dae3bd112bc8b98d7af_1 . _:Sig_ea93fe1c1f3f9dae3bd112bc8b98d7af_1 "1"^^ . _:Sig_ea93fe1c1f3f9dae3bd112bc8b98d7af_1 . _:Sig_ea93fe1c1f3f9dae3bd112bc8b98d7af_2 . _:Sig_ea93fe1c1f3f9dae3bd112bc8b98d7af_2 . _:Sig_ea93fe1c1f3f9dae3bd112bc8b98d7af_2 . _:Sig_ea93fe1c1f3f9dae3bd112bc8b98d7af_2 "Jan Kofron" . _:Sig_ea93fe1c1f3f9dae3bd112bc8b98d7af_2 . _:Sig_ea93fe1c1f3f9dae3bd112bc8b98d7af_2 . _:Sig_ea93fe1c1f3f9dae3bd112bc8b98d7af_2 "2"^^ . _:Sig_ea93fe1c1f3f9dae3bd112bc8b98d7af_2 . _:Sig_ea93fe1c1f3f9dae3bd112bc8b98d7af_3 . _:Sig_ea93fe1c1f3f9dae3bd112bc8b98d7af_3 . _:Sig_ea93fe1c1f3f9dae3bd112bc8b98d7af_3 . _:Sig_ea93fe1c1f3f9dae3bd112bc8b98d7af_3 "Frantisek Pl\u00E1sil" . _:Sig_ea93fe1c1f3f9dae3bd112bc8b98d7af_3 . _:Sig_ea93fe1c1f3f9dae3bd112bc8b98d7af_3 . _:Sig_ea93fe1c1f3f9dae3bd112bc8b98d7af_3 "3"^^ . _:Sig_ea93fe1c1f3f9dae3bd112bc8b98d7af_3 . . . . . "197-210" . "FACS" . "FACS" . "2005"^^ . "2006"^^ . . "provenance information for RDF data of dblp record 'journals/entcs/JezekKP06'" . . . . "2023-06-26T20:57:43+0200" .