Tests/ca.mcgill.ecse.dslreasoner.vampire.test/initialModels/Yakindu.xmi


1
2
3
4

<?xml version="1.0" encoding="UTF-8"?>
<hu.bme.mit.inf.yakindumm:Statechart xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI"
    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hu.bme.mit.inf.yakindumm="hu.bme.mit.inf.yakindumm"
    xsi:schemaLocation="hu.bme.mit.inf.yakindumm yakindu_simplified.ecore"/>