Marius Mikučionis @MariusM@qoto.org
Research Software Engineer and Lector at AAU, everything about Uppaal verification and testing.
Joined Jun 2022
@trinsec ouch, not good 😞
Maybe it's temporary situation? It failed me the very first time, now I get more success
@trinsec I just succeeded with following @DrVeronikaCH so perhaps the issue is not with the server.
@trinsec I tripplechecked it, perhaps not my fault. I tried another handle, but it also failed. Thanks for looking at it.
Hello @AndrzejWasowski@scholar.social
How do I add you?
Research Software Engineer and Lector at AAU, everything about Uppaal verification and testing.
Joined Jun 2022
