Alexander Schulz

Affiliations:

According to our database¹, Alexander Schulz authored at least 3 papers between 2014 and 2016.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2016

Model Checking Reconfigurable Petri Nets with Maude.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 9th International Conference, 2016

2014

Towards Model Checking Reconfigurable Petri Nets using Maude.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

Model Checking for reconfigurable Petri nets.

[BibT_eX]

[DOI]

CoRR, 2014