Accès aux Contact | Référence BibTex | Référence EndNote |

ep-atr95

EP-ATR Project. Signal: a formal design environment for real time systems. In Proceedings of the 6th International Joint Conference on Theory and Practice of Software Development, TAPSOFT '95, AA arhus, Denmark, Lecture Notes in Computer Science 915, Mai 1995.

Référence BibTex

@InProceedings{ep-atr95,
   Author = {Project, EP-ATR},
   Title = {Signal: a formal design environment for real time systems},
   BookTitle = {Proceedings of the 6th International Joint Conference on Theory and Practice of Software Development, TAPSOFT '95, AA arhus, Denmark},
   Series = {Lecture Notes in Computer Science 915},
   Publisher = {Springer-Verlag},
   Month = {May},
   Year = {1995}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)

This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.