Khaled El-Fakih, Hirozumi Yamaguchi, Gregor von Bochmann, Teruo Higashino
Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources
ASE, 2000.
@inproceedings{ASE-2000-El-FakihYBH,
author = "Khaled El-Fakih and Hirozumi Yamaguchi and Gregor von Bochmann and Teruo Higashino",
booktitle = "{Proceedings of the 15th IEEE International Conference on Automated Software Engineering}",
ee = "http://computer.org/proceedings/ase/0710/07100305abs.htm",
pages = "305--308",
publisher = "{IEEE Computer Society}",
title = "{Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources}",
year = 2000,
}