Abedi,H and Izadi,M . (2014). Probabilistic Büchi Automata of Records: Semantics of Coordinating Systems with Uncertain Channels. (e215871). The CSI Journal on Computer Science and Engineering, 12(3), e215871
MLA
Abedi,H , and Izadi,M . "Probabilistic Büchi Automata of Records: Semantics of Coordinating Systems with Uncertain Channels" .e215871 , The CSI Journal on Computer Science and Engineering, 12, 3, 2014, e215871.
HARVARD
Abedi H, Izadi M. (2014). 'Probabilistic Büchi Automata of Records: Semantics of Coordinating Systems with Uncertain Channels', The CSI Journal on Computer Science and Engineering, 12(3), e215871.
CHICAGO
H Abedi and M Izadi, "Probabilistic Büchi Automata of Records: Semantics of Coordinating Systems with Uncertain Channels," The CSI Journal on Computer Science and Engineering, 12 3 (2014): e215871,
VANCOUVER
Abedi H, Izadi M. Probabilistic Büchi Automata of Records: Semantics of Coordinating Systems with Uncertain Channels. CSIonJCSE. 2014;12(3):e215871.
The CSI Journal on Computer Science and Engineering