Erlang -> transitions
start verification with 2 clients
etomcrl:instantiator(locker_sup,start,[2])
instantiation
tomcrl.erl
EtoPmcrl
Föregående bild
Nästa bild
Tillbaka till första bilden
Visa grafisk version