alchemist-approximatemodelchecking

'it.unibo.alchemist:alchemist-approximatemodelchecking:0.0.0'

<dependency>
	<groupId>it.unibo.alchemist</groupId>
	<artifactId>alchemist-approximatemodelchecking</artifactId>
	<version>0.0.0</version>
</dependency>

<dependency org="it.unibo.alchemist" name="alchemist-approximatemodelchecking" rev="0.0.0"/>

"it.unibo.alchemist", "alchemist-approximatemodelchecking", "0.0.0"