 |
Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
 |
Die bibliographische Datenbank LEABib
Suchen •
Liste der Journale •
Liste der Serien •
Liste der Konferenzen •
Ausgewählte Publikationen  [1]
|
Hilfe 
|
 |
|
| Suche: Citkey="Miller-Yap/79" |
|
On the formal specification and analysis of loosely connected processes
E. Miller, C.K. Yap
Proceedings of the Conference on Mathematical Studies of Information Processing (Kyoto, Japan, 1978)
Lecture Notes in Computer Science
75
, 1979, pp. 33-66
| Editors | E.K. Blum, M. Paul, S. Takasu | |
| Publisher: | Springer-Verlag | |
| Address: | Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong | |
| URL: |
http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=75&spage=33 | |
|
|
|
|