Using chemical organization theory for model checking (Q33452446)
scientific article
Language:
(P31) (Q13442814)
(P50) (Q41046138)
(P304) 1915-1922
(P407) (Q1860)
(P433) 15
(P478) 25
(P577) Monday, May 25, 2009
(P1433) (Q4914910)
(P1476) "Using chemical organization theory for model checking" (language: en)
(P2093) Stephan Richter
Peter Dittrich
(P2860) (Q33334756)
(Q33331008)
(Q40181009)
(Q36685576)
(Q35768707)
(Q25255639)
(Q42534065)
(Q28212902)
(Q34180039)
(Q41724911)
(Q36746170)
(Q33543834)
(Q37606245)
(Q42431633)
(Q51917949)
(Q51187357)
(Q44277958)
(Q79213616)