Die bibliographische Datenbank LEABib
![](images/empty.gif) |
![](images/empty.gif) |
Suche: Author="Karpov, Yu.G." |
![](images/empty.gif) |
COVERS - A tool for the design of real-time concurrent systems
A.V. Borshchev, Yu.G. Karpov, V.V. Roudakov
Proceedings of the 3rd International Conference on Parallel Computing Technologies, PaCT'95, (St. Petersburg, Russia, September 12-25, 1995)
Lecture Notes in Computer Science
964
, 1995, pp. 219-233
Editors | |
Victor Malyshkin |
Publisher: | | Springer-Verlag |
Address: | | Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest |
|
| |
|