Obiekt

Tytuł: The use of model checking and the COSMA environment in the design of reactive systems

Kolekcje, do których przypisany jest obiekt:

Data ostatniej modyfikacji:

24 mar 2015

Data dodania obiektu:

24 mar 2015

Liczba wyświetleń treści obiektu:

15

Liczba wyświetleń treści obiektu w formacie DjVu

14

Wszystkie dostępne wersje tego obiektu:

https://bc.umcs.pl/publication/20416

Wyświetl opis w formacie RDF:

RDF

Wyświetl opis w formacie OAI-PMH:

OAI-PMH

Obiekty

Podobne

Ta strona wykorzystuje pliki 'cookies'. Więcej informacji