http://blip.pl/s/415619133 Spróbujcie uczyć się w tym samym czasie #vhdl i #promela'i - to się dopiero miesza (-;

No to zaczynamy zabawę z #promela (-: