SpringerLink (Online service), Lakhnech, Y., & Yovine, S. (2004). Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings (1st ed. 2004.). Springer Berlin Heidelberg : Imprint: Springer. https://doi.org/10.1007/b100824
Παραπομπή σε μορφή Chicago (17η εκδ.)SpringerLink (Online service), Yassine Lakhnech, και Sergio Yovine. Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings. 1st ed. 2004. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2004. https://doi.org/10.1007/b100824.
Παραπομπή σε μορφή MLA (8th εκδ.)SpringerLink (Online service), et al. Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings. 1st ed. 2004. Springer Berlin Heidelberg : Imprint: Springer, 2004. https://doi.org/10.1007/b100824.
