Digital Library |
|
||||||||||||||||||||||||||||
Close | Browse articles from a journal | ||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
Journal description | |||||||||||||||||||||||||||||
All volumes of the corresponding journal | |||||||||||||||||||||||||||||
All issues of the corresponding volume | |||||||||||||||||||||||||||||
All articles of the corresponding issues | |||||||||||||||||||||||||||||
Details for article 2 of 12 found articles
|
|||||||||||||||||||||||||||||
A general SOS theory for the specification of probabilistic transition systems |
|||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
Details for article 2 of 12 found articles
|
|||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
Koninklijke Bibliotheek - National Library of the Netherlands |