Dear all, Can anyone please tell me, how would I put 2 guards in UPPAAL 4 for a transition. I am using comma sign in between both of them, but it gives me error. Please help me out of this. Thanks. --Adnan
------------------------------------------------------------------------------
_______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
