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
Explicit Modelling of Physical Measures: From Event-B to Java
Electronic proceedings in theoretical computer science, 2018-01, Vol.271 (Proc. IMPEX 2017 and FM&MDD 2017), p.64-79
2018
Link zum Volltext
Verfügbarkeit prüfen
1 – 1 von 1
Suche als RSS-Feed
Aktive Filter
Zeitschrift / SerieElectronic Proceedings In Theoretical Computer Science
ThemaComputer Science, Theory & Methods
Suchergebnisse filtern
Filter anzeigen