iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/conf/fmics/WijsPB05.nt
.
.
.
.
"Anton Wijs et al.: Solving scheduling problems by untimed model checking: the clinical chemical analyser case study. (2005)" .
.
_:ID_bff5895a401373199feac57085bfc7d8 . _:ID_bff5895a401373199feac57085bfc7d8
. _:ID_bff5895a401373199feac57085bfc7d8
. _:ID_bff5895a401373199feac57085bfc7d8
. _:ID_bff5895a401373199feac57085bfc7d8
"conf/fmics/WijsPB05" .
_:ID_835c8f030e5a465c29f1c1370c862d7d . _:ID_835c8f030e5a465c29f1c1370c862d7d
. _:ID_835c8f030e5a465c29f1c1370c862d7d
. _:ID_835c8f030e5a465c29f1c1370c862d7d
. _:ID_835c8f030e5a465c29f1c1370c862d7d
"10.1145/1081180.1081188" .
"Solving scheduling problems by untimed model checking: the clinical chemical analyser case study." .
.
.
.
.
.
.
.
"3"^^
.
_:Sig_5e44b0aa63ff3ed53e39ecc0a9ab9394_1 . _:Sig_5e44b0aa63ff3ed53e39ecc0a9ab9394_1
. _:Sig_5e44b0aa63ff3ed53e39ecc0a9ab9394_1
. _:Sig_5e44b0aa63ff3ed53e39ecc0a9ab9394_1
"Anton Wijs" . _:Sig_5e44b0aa63ff3ed53e39ecc0a9ab9394_1
. _:Sig_5e44b0aa63ff3ed53e39ecc0a9ab9394_1
"1"^^
. _:Sig_5e44b0aa63ff3ed53e39ecc0a9ab9394_1
.
_:Sig_5e44b0aa63ff3ed53e39ecc0a9ab9394_2 . _:Sig_5e44b0aa63ff3ed53e39ecc0a9ab9394_2
. _:Sig_5e44b0aa63ff3ed53e39ecc0a9ab9394_2
. _:Sig_5e44b0aa63ff3ed53e39ecc0a9ab9394_2
"Jaco van de Pol" . _:Sig_5e44b0aa63ff3ed53e39ecc0a9ab9394_2
. _:Sig_5e44b0aa63ff3ed53e39ecc0a9ab9394_2
"2"^^
. _:Sig_5e44b0aa63ff3ed53e39ecc0a9ab9394_2
.
_:Sig_5e44b0aa63ff3ed53e39ecc0a9ab9394_3 . _:Sig_5e44b0aa63ff3ed53e39ecc0a9ab9394_3
. _:Sig_5e44b0aa63ff3ed53e39ecc0a9ab9394_3
. _:Sig_5e44b0aa63ff3ed53e39ecc0a9ab9394_3
"Elena M. Bortnik" . _:Sig_5e44b0aa63ff3ed53e39ecc0a9ab9394_3
. _:Sig_5e44b0aa63ff3ed53e39ecc0a9ab9394_3
"3"^^
. _:Sig_5e44b0aa63ff3ed53e39ecc0a9ab9394_3
.
.
.
.
.
"54-61" .
"FMICS" .
"FMICS" .
"2005"^^
.
"2005"^^
.
.
"provenance information for RDF data of dblp record 'conf/fmics/WijsPB05'" .
.
.
.
"2022-01-25T17:05:33+0100" .
