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.
@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}
}
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.