Kategori:Övergångssystem

Sidor i kategorin "Övergångssystem"

A

Actionspråk

B

Bisimulering

K

Kripke struktur (modellkontroll)

S

Simulering (datavetenskap)
Stamningsbisimulering

Text is available under the Creative Commons Attribution-ShareAlike License; additional terms may apply. By using this site, you agree to the Terms of Use and Privacy Policy

Privacy policy
Terms of Use
About
Contact