Exported entries (BibTeX)

@inproceedings { chachkovB01-1683,
	year = {2001},
	title = {From Formal Specifications to Ready-to-Use Software Components: The Concurrent Object Oriented Petri Net Approach},
	booktitle = {International Conference on Application of Concurrency to System Design},
	address = {Newcastle},
	publisher = {IEEE Press},
	pages = {99-110},
	author = {S. Chachkov and D. Buchs}
}