Die bibliographische Datenbank LEABib
![](images/empty.gif) |
![](images/empty.gif) |
Suche: Author="Bianchi, Alessandro" |
![](images/empty.gif) |
An efficient verifier of truly concurrent properties
Alessandro Bianchi, Stefano Coluccini, Pierpaolo Degano, Corrado Priami
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. 36-50
Editors | |
Victor Malyshkin |
Publisher: | | Springer-Verlag |
Address: | | Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest |
|
| |
|