Glossaria.net
Glossaria.net
|
Startseite
Liste
Themen
|
English
Français
Deutsch
Glossar Abkürzungen / Thema
LNCS129
-B. T. Hailpern: Verifying Concurrent Processes Using Temporal Logic, Springer-Verlag 1982
Permanenter Link
LNCS129
- Erstellungsdatum 2021-01-20
< LNCS1289
Glossar / Abkürzungen
LNCS1290 >