portal Michała Hanćkowiaka
Begin main content
W górę do alr
Typ not ordered Nazwa not ordered Rozmiar not ordered Ostatnio Zmieniane not ordered Views
folderFolder csp_tools 1 pliki 25-01-24 09:57:53 Pobierz
folderFolder petri nets 9 pliki 20-01-18 15:11:05 Pobierz
plikText - Plain text ispin.tcl
 220 kb 09-01-17 18:43:36 właściwości Nowy Pobierz 152 / 1
plikText - Plain text procesy zmienające zm. globalną
np02a.pml 		393 bajtów 24-01-24 19:31:44 właściwości Nowy Pobierz 207 / 2
plikText - Plain text prod kons + dwa łącza
prod_kons_siec_4b.pml 		1 kb 24-01-24 19:32:08 właściwości Nowy Pobierz 199 / 1
plikUninterpreted binary spin (lin32)
spin 		789 kb 09-01-17 18:42:43 właściwości Nowy Pobierz 198 / 1
plikUninterpreted binary spin (lin64)
spin-54072 		874 kb 18-01-17 09:23:31 właściwości Nowy Pobierz 242 / 1
link spin.exe (strona www) 25-01-24 11:47:33 właściwości Nowy
link spin/promela Language Reference 09-01-17 19:06:09 właściwości Nowy
link spin/promela Manual 25-05-22 13:15:04 właściwości Nowy
link tclkit8.6b1 13-01-19 20:55:56 właściwości Nowy
plikPDF spin/promela, petri nets - slajdy
weryfikacja_slajdy.pdf 		138 kb 24-01-17 14:14:09 właściwości Nowy Pobierz 174 / 1

Icon of Envelope Request notifications

uwaga: portal używa ciasteczek tylko do obsługi tzw. sesji...