|
Search the dblp DataBase
Louise Lorentsen:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Louise Lorentsen, Lars Michael Kristensen
Exploiting Stabilizers and Parallelism in State Space Generation with the Symmetry Method. [Citation Graph (0, 0)][DBLP] ACSD, 2001, pp:211-220 [Conf]
- Louise Lorentsen, Lars Michael Kristensen
Modelling and Analysis of a DANFOSS Flowmeter System Using Coloured Petri Nets. [Citation Graph (0, 0)][DBLP] ICATPN, 2000, pp:346-366 [Conf]
- Louise Lorentsen, Antti-Pekka Tuovinen, Jianli Xu
Modelling of Features and Feature Interactions in Nokia Mobile Phones Using Coloured Petri Nets. [Citation Graph (0, 0)][DBLP] ICATPN, 2002, pp:294-313 [Conf]
- Louise Lorentsen, Antti-Pekka Tuovinen, Jianli Xu
Experiences in Modelling Feature Interactions with Coloured Petri Nets. [Citation Graph (0, 0)][DBLP] Acta Cybern., 2002, v:15, n:4, pp:621-632 [Journal]
Modelling Feature Interactions in Mobile Phones. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|