MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Kurt Jensen" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 13 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Practical Use of High-level Petri Nets  
  • by S. Christensen, C. Dutheillet, L. M. Kristensen, B. Lindstrøm, T. Mailund, K. H. Mortensen, E. Paviot-adet, D. Poitrenaud, Kurt Jensen, Kurt Jensen — 2000
  • … Organised by Kurt Jensen DAIMI PB – 547 June 2000 DEPARTMENT OF COMPUTER SCIENCE UNIVERSITY OF AARHUS Ny…
  • Add To MetaCart
  • State Space Methods for Timed Coloured Petri Nets  
  • by Søren Christensen, Kurt Jensen, Thomas Mailund, Lars Michael Kristensen — 2001 — In Proceedings of 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems
  • …State Space Methods for Timed Coloured Petri Nets Sren Christensen Kurt Jensen Thomas Mailund…
  • Cited by 4 (3 self) – Add To MetaCart
  • Application of Coloured Petri Nets in System Development  
  • by Lars Michael Kristensen, Jens Bæk Jørgensen, Kurt Jensen — 2004 — In Lecture on Concurrency and Petri Nets, Jorg Desel, Wolfgang Reisig and Grezegorz Rozenberg (Eds.), Springer, LNCS 3089
  • … Jørgensen, and Kurt Jensen Department of Computer Science, University of Aarhus IT-parken, Aabogade 34, DK…
  • Cited by 4 (3 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB