Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
Open Access
    Datensatz exportieren als...
  • BibTeX
Special issue on Automated Verification of Critical Systems (AVoCS 2013)
Science of computer programming, 2015-11, Vol.111, p.213-213
2015
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
On modelling and verifying railway interlockings: Tracking train lengths
Science of computer programming, 2014-12, Vol.96, p.315-336
2014
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Timewise refinement for communicating processes
Science of computer programming, 1997, Vol.28 (1), p.43-90
1997
Volltextzugriff (PDF)
1 – 3 von 3
Suche als RSS-Feed
Aktive Filter
Zeitschrift / SerieJournal Of Allergy And Clinical Immunology
ThemaPsychology, Educational
KollektionElsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
ThemaComputer Science, Software Engineering
Suchergebnisse filtern
Filter anzeigen