Jump to : Keywords | Contact | BibTex reference | EndNote reference |

Caillaud2000c

B. Caillaud, P. Darondeau, L. Hélouet, G. Lesventes. HMSCs as specifications. with PN as completions. In Proceedings of the summer school MOVEP'2k: Modelling and verification of parallel processes, F. Cassez, Claude Jard, B. Rozoy, M. Ryan (eds.), Pages 87-103, Nantes, June 2000.

Keywords

[ Nets ] [ Msc ]

Contact

Philippe Darondeau
Loic Hélouet http://people.irisa.fr/Loic.Helouet/

BibTex Reference

@InProceedings{Caillaud2000c,
   Author = {Caillaud, B. and Darondeau, P. and Hélouet, L. and Lesventes, G.},
   Title = {HMSCs as specifications. with PN as completions},
   BookTitle = {Proceedings of the summer school MOVEP'2k: Modelling and verification of parallel processes},
   editor = {Cassez, F. and Jard, Claude and Rozoy, B. and Ryan, M.},
   Pages = {87--103},
   Address = {Nantes},
   Month = {June},
   Year = {2000}
}

EndNote Reference [help]

Get EndNote Reference (.ref)