View of Formal Verification of a Block chain-enabled Smart Learning Environment Framework using Petri NETs

Return to Article Details Formal Verification of a Block chain-enabled Smart Learning Environment Framework using Petri NETs Download Download PDF