Louise Lorentsen Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2002
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLouise Lorentsen, Antti-Pekka Tuovinen, Jianli Xu: Modelling of Features and Feature Interactions in Nokia Mobile Phones Using Coloured Petri Nets. ICATPN 2002: 294-313
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLouise Lorentsen, Antti-Pekka Tuovinen, Jianli Xu: Experiences in Modelling Feature Interactions with Coloured Petri Nets. Acta Cybern. 15(4): 621-632 (2002)
2001
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLouise Lorentsen, Lars Michael Kristensen: Exploiting Stabilizers and Parallelism in State Space Generation with the Symmetry Method. ACSD 2001: 211-220
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLouise Lorentsen, Antti-Pekka Tuovinen, Jianli Xu: Modelling Feature Interactions in Mobile Phones. FICS 2001: 7-13
2000
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLouise Lorentsen, Lars Michael Kristensen: Modelling and Analysis of a DANFOSS Flowmeter System Using Coloured Petri Nets. ICATPN 2000: 346-366

Coauthor Index

1Lars Michael Kristensen [1] [3]
2Antti-Pekka Tuovinen [2] [4] [5]
3Jianli Xu [2] [4] [5]

Colors in the list of coauthors

Copyright © Thu Dec 3 22:36:56 2009 by Michael Ley (ley@uni-trier.de)