APA Style
Bruni, Roberto, Dingel, Juergen. (2011).
Formal techniques for distributed systems: joint 13th ifip wg 6.1 international conference, fmoods 2011 and 30th ifip wg 6.1 international conference, forte 2011 reykjavik, iceland, june 2011, proceedings .
New York:
.
Chicago Style
Bruni, Roberto, Dingel, Juergen.
Formal techniques for distributed systems: joint 13th ifip wg 6.1 international conference, fmoods 2011 and 30th ifip wg 6.1 international conference, forte 2011 reykjavik, iceland, june 2011, proceedings.
New York:
,
2011.
E-Book.
MLA Style
Bruni, Roberto, Dingel, Juergen.
Formal techniques for distributed systems: joint 13th ifip wg 6.1 international conference, fmoods 2011 and 30th ifip wg 6.1 international conference, forte 2011 reykjavik, iceland, june 2011, proceedings.
New York:
,
2011.
E-Book.
Turabian Style
Bruni, Roberto, Dingel, Juergen.
Formal techniques for distributed systems: joint 13th ifip wg 6.1 international conference, fmoods 2011 and 30th ifip wg 6.1 international conference, forte 2011 reykjavik, iceland, june 2011, proceedings.
New York:
,
2011.
E-Book.