Publications Login
Home List all
@inproceedings{andor,
	author          = {Jacek Sroka and Piotr Chrz{\,a}stowski-Wachtel and Jan Hidders},
	title           = {On generating *-sound nets with substitution},
	booktitle       = {Proc. of the Tenth International Conference on Application of Concurrency to System Design (ACSD 2011)},
	publisher       = {IEEE Computer Society},
	year            = {2011},
	pages           = {3--12},
	group           = {WIS}
}