(2010). Formal methods for industrial critical systems: 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010 : proceedings / Stefan Kowalewski, Marco Roveri (eds.).
Chicago-čujuhus (17. p.)Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010 : Proceedings / Stefan Kowalewski, Marco Roveri (eds.). 2010.
MLA-čujuhus (9. p.)Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010 : Proceedings / Stefan Kowalewski, Marco Roveri (eds.). 2010.
Muitte dárkkistit čujuhemiid riektatvuođa, ovdal go geavahat daid iežat deavsttas.