CiteSeer.IST HomeCheck: The following citations are predicted to all refer to the same paper. Details
C. Daws, A. Olivero, and S. Yovine. Verifying ET-LOTOS programs with KRONOS. Proc. 7th. FORTE'94, pages 227--242. Formal Description Techniques VII, Chapman & Hall, 1995.
C. Daws, A. Olivero, and S. Yovine. Verifying ET-LOTOS programs with KRONOS. In Proc. of 7th International Conference on Formal Description Techniques, 1994.
C. Daws, A. Olivero, and S. Yovine. Verifying ET-LOTOS programs with KRONOS. In Proc. of 7th International Conference on Formal Description Techniques, 1994.
C. Daws, A. Olivero, and S. Yovine. Verifying ET-LOTOS programs with KRONOS. In Proc. of 7th International Conference on Formal Description Techniques, 1994.
C. Daws, A. Olivero, and S. Yovine. Verifying ET-LOTOS programs with KRONOS. In Proc. of 7th International Conference on Formal Description Techniques, 1994.
C. Daws, A. Olivero, and S. Yovine. Verifying ET-LOTOS programs with KRONOS. In Proc. FORTE'94, pages 227--242, Bern, Switzerland, October 1994.
C. Daws, A. Olivero, and S. Yovine, "Verifying ET-LOTOS programs with KRONOS", in Proc. 7th. IFIP WG G.1 International Conference of Formal Description Techniques, FORTE'94, D. Hogrefe and S. Leue, Eds., Bern, Switzerland, Oct. 1994, Formal Description Techniques VII, pp. 227--242, Chapman & Hall.
C. Daws, A. Olivero and S. Yovine. Verifying ET-LOTOS programs with KRONOS. In Proc. FORTE'94, October 1994, Switzerland
C. Daws, A. Olivero, and S. Yovine. Verifying et-lotos programs with kronos. In Proc. 7th IFIP WG G.1 International Conference of Formal Description Techniques, FORTE '94, october 1994.
C. Daws, A. Olivero, and S. Yovine. Verifying ET-LOTOS programs with KRONOS. In Richard L. Tenney, Paul D. Amer, and M. Umit Uyar, editors, Proc. Formal Description Techniques VI, pages 227--242. Chapman-Hall, London, UK, 1995.
C. Daws, A. Olivero and S. Yovine, Verifying et-lotos Programs with Kronos, Proc. FORTE'94, Bern, 1994.
C. Daws, A. Olivero, and S. Yovine. Verifying ET-LOTOS programs with kronos. In Proceedings of Seventh International Conference on Formal Description Techniques, 1994.
C. Daws, A. Olivero, and S. Yovine. Verifying ET--LOTOS programs with KRONOS. In Proceedings of 7th International Conference on Formal Description Techniques, 1994.
C. Daws, A. Olivero, and S. Yovine. Verifying ET-LOTOS programs with KRONOS. In Hogrefe and Leue [16], pages 207--222.
C. Draws, A. Olivero, and S. Yovine. Verifying ET-LOTOS Programs with KRONOS. In Proceedings of the 7th International Conference on Formal Description Techniques, 1994.
C. Daws, A. Olivero, and S. Yovine, "Verifying ET-LOTOS programs with KRONOS," in Proc. 7th. IFIP WG G.1 International Conference of Formal Description Techniques, FORTE'94 (D. Hogrefe and S. Leue, eds.), (Bern, Switzerland), pp. 227--242, Formal Description Techniques VII, Chapman & Hall, Oct. 1994.
C. Daws, A. Olivero, and S. Yovine. Verifying ET-LOTOS programs with kronos. In Hogrefe and Leue [13], pages 207--222.
C. Daws, A. Olivero and S. Yovine. Verifying ET-LOTOS programs with KRONOS. In Proc. FORTE'94, 1994.
C. Daws, A. Olivero, and S. Yovine. Verifying ET-LOTOS programs with KRONOS. In Proc. FORTE'94, pages 227--242, Bern, Switzerland, October 1994.
C. Daws, A. Olivero, and S. Yovine. Verifying ET-LOTOS programs with kronos. In Hogrefe and Leue [16], pages 207--222.
C. Daws, A. Olivero, and S. Yovine. Verifying ET-LOTOS programs with KRONOS. In Hogrefe and Leue [HL94], pages 207--222.
C. Daws, A. Olivero, and S. Yovine. Verifying ET-LOTOS programs with KRONOS. In FORTE'94, Berne, Switzerland, October 1994.
C. Daws, A. Olivero and S. Yovine, Verifying et-lotos Programs with Kronos, Proc. FORTE'94, Bern, 1994.
C. Daws, A. Olivero, and S. Yovine. Verifying ET-LOTOS programs with KRONOS. In D. Hogrefe and S. Leue, editors, Proc. 7th. IFIP WG G.1 International Conference of Formal Description Techniques, FORTE'94, pages 227--242, Bern, Switzerland, October 1994. Formal Description Techniques VII, Chapman & Hall.
C. Daws, A. Olivero, and S. Yovine. Verifying ET-LOTOS programs with KRONOS. In Formal Description Techniques VII, Proceedings of FORTE'94, pages 227--242, 1994.
C. Daws, A. Olivero and S. Yovine, Verifying et-lotos Programs with Kronos, Proc. FORTE'94, Bern, 1994.
C. Daws, A. Olivero and S. Yovine, Verifying et-lotos Programs with Kronos, Proc. FORTE'94, Bern, 1994.
C. Daws, A. Olivero, and S. Yovine. Verifying ET-LOTOS programs with KRONOS. In Formal Description Techniques VII, Proceedings of FORTE'94, pages 227--242, 1994.
DOY94. C. Daws, A. Olivero, and S. Yovine. Verifying ET-LOTOS programs with KRONOS. In Proc. FORTE'94, LNCS, 1994.
C. Daws, A. Olivero, and S. Yovine. Verifying ET-LOTOS programs with KRONOS. In Proc. 7th Intern. Confer. on Formal Description Techniques (FORTE), Berne, Switzerland, October 1994.
C. Daws, A. Olivero, and S. Yovine, "Verifying ET-LOTOS programs with KRONOS," in Proc. 7th. IFIP WG G.1 International Conference of Formal Description Techniques, FORTE'94 (D. Hogrefe and S. Leue, eds.), (Bern, Switzerland), pp. 227--242, Formal Description Techniques VII, Chapman & Hall, Oct. 1994.
C. Daws, A. Olivero, and S. Yovine. Verifying ET-LOTOS programs with KRONOS. In Proc. 7th. IFIP WG G.1 International Conference of Formal Description Techniques, FORTE'94, pages 227--242, Bern, Switzerland, October 1994. Formal Description Techniques VII, Chapman & Hall.
C. Daws, A. Olivero, and S. Yovine. Verifying ET-LOTOS programs with KRONOS. In In Proc. of 7th International Conference on Formal Description Techniques, 1994.
C. Daws, A. Olivero, and S. Yovine. Verifying ET-LOTOS programs with KRONOS. In Proc. of 7th International Conference on Formal Description Techniques, 1994.
C. Draws, A. Olivero, and S. Yovine. Verifying ET-LOTOS Programs with KRONOS. In Proceedings of the 7th International Conference on Formal Description Techniques, 1994.
C. Daws, A. Olivero, and S. Yovine. Verifying ET-LOTOS programs with KRONOS. In Richard L. Tenney, Paul D. Amer, and M. Umit Uyar, editors, Proc. Formal Description Techniques VI, pages 227--242. Chapman-Hall, London, UK, 1995.
C. Daws, A. Olivero, and S. Yovine. Verifying ET-LOTOS programs with KRONOS. In D. Hogrefe and S. Leue, editors, Proc. 7th. IFIP WG G.1 International Conference of Formal Description Techniques, FORTE'94, pages 227--242, Bern, Switzerland, October 1994. Formal Description Techniques VII, Chapman & Hall.
C. Daws, A. Olivero, and S. Yovine. Verifying ET-LOTOS programs with KRONOS. In Proceedings of FORTE '94, 1994.
C. Daws, A. Olivero, and S. Yovine. Verifying ET-LOTOS programs with KRONOS. In Proceedings of FORTE '94, 1994.
C. Draws, A. Olivero, and S. Yovine. Verifying ET-LOTOS Programs with KRONOS. In Proceedings of the 7th International Conference on Formal Description Techniques, 1994.
C. Daws, A. Olivero, and S. Yovine. Verifying ET-LOTOS programs with KRONOS. In FORTE'94, 1994.
C. Daws, A. Olivero, S. Yovine. Verifying ET-LOTOS programs with KRONOS. In D. Hogrefe, S. Leue (Eds), Proceedings of the Seventh International Conference on Formal Description Techniques, pp. 207-222, 1994.
C. Daws, A. Olivero, and S. Yovine, "Verifying ET-LOTOS programs with KRONOS," in Proceedings of the & International Conference on Formal Description Techniques, FORTE'94, D. Hogrefe and S. Leue, Eds. 1994, pp. 207--222, North-Holland.
C. Daws, A. Olivero, and S. Yovine. Verifying ET-LOTOS programs with KRONOS. In Proc. of 7th International Conference on Formal Description Techniques, 1994.
C. Daws, A. Olivero, and S. Yovine. Verifying ET-LOTOS programs with KRONOS. In Proc. of 7th International Conference on Formal Description
C. Daws, A. Olivero, and S. Yovine. Verifying ET-LOTOS programs with Kronos. In Proc. 7th IFIP WG G.1 International Conference of Formal Description Techniques (FORTE), pages 227242. Chapman & Hall, October 1994.
C. Daws, A. Olivero, and S. Yovine. Verifying ET-LOTOS programs with Kronos. In Proc. 7th IFIP WG G.1 International Conference of Formal Description Techniques (FORTE), pages 227242. Chapman & Hall, October 1994.
Daws, C., Olivero, A., Yovine, S. : Verifying ET-LOTOS programs with KRONOS.In:D. Hogrefe, S. Leue, ed., Formal Description Techniques, VII. North-Holland, Amsterdam, 1995, 227--242.
C. Daws, A. Olivero, and S. Yovine. Verifying ET-LOTOS programs with KRONOS. In D. Hogrefe and S. Leue, editors, Formal Description Techniques, VII, pages 227-242. North-Holland, Amsterdam, 1995.
C. Daws, A. Olivero, and S. Yovine. Verifying et-lotos programs with kronos. 1994.
C. Daws, A. Olivero, and S. Yovine. Verifying ET-LOTOS programs with KRONOS. In Proc. Int. Conf. on Formal Description Techniques VII (FORTE'94), pages 227--242, 1994.
Conrado Daws, Alfredo Olivero, and Sergio Yovine. Verifying et-lotos programs with KRONOS. In Proc. 7th International Conference on Formal Description Techniques (FORTE'94), pages 227--242. Chapman & Hall, 1994.
C. Daws, A. Olivero, and S. Yovine. Verifying ET-LOTOS programs with KRONOS. In Proc. Int. Conf. on Formal Description Techniques VII (FORTE'94), pages 227--242, 1994.
C. Daws, A. Olivero, and S. Yovine. Verifying ET-LOTOS programs with KRONOS. In Proc. FORTE'94, pages 227--242, Bern, Switzerland, October 1994.
C Daws, A Olivero, and S Yovine. Verifying et-lotos programs with kronos. In 7th International Conference on Formal Description Techniques (FORTE '94), Berne Switzerland. Elsevier, 1994.