Login / Signup

Towards Model Checking Reconfigurable Petri Nets using Maude.

Julia PadbergAlexander Schulz
Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2014)
Keyphrases