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, May 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}
}
Get EndNote Reference (.ref)
This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.