sort by
approximate search
1shortlisttitle datasearch history  
results search [or] ISN:0000000367952172 | 1 hits
Person
ISNI: 
0000 0003 6795 2172
Name: 
Jensen, K.
Jensen, Kurt
Kurt Jensen
Kurt Jensen (computer scientist) (Noors informaticus)
Kurt Jensen (datalog) (norsk ingeniør og informatiker)
Kurt Jensen (Norwegian computer scientist)
Dates: 
f. 1950
Creation class: 
a
article
Computer file
Language material
Text
Creation role: 
author
editor
redactor
Related names: 
Aalst, Wil van der
Billington, Jonathan
Donatelli, Susanna (1960- ))
Koutny, Maciej (1958-....))
Kristensen, Lars Michael
Larsen, Nicky Normann
Podelski, Andreas
Rozenberg, G. (1934-)
Rozenberg, Grzegorz
Rozenberg, Grzegorz (1934-)
Springer-Verlag (Berlin)
TACAS 2004 (2004 : Barcelona, Spain)
Titles: 
Application and theory of Petri nets, 1992 13th international conference, Sheffield, UK, June 22-26, 1992 : proceedings
Coloured petri nets : basic concepts, analysis methods and practical use.
Coloured Petri nets modelling and validation of concurrent systems
Coloured Petri nets. Vol. 1
Concurrency in process-aware information systems
High-level Petri nets, c1991:
High-level Petri nets : theory and application
Petri net package user's manual
Petri nets 2000
Third workshop and tutorial on practical use of Coloured Petri Nets and the CPN Tools, Ꜳrhus, Denmark, August 29-31, 2001
Tools and algorithms for the construction and analysis of systems 10th International Conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings
ToPNoC
Transactions on Petri Nets and other models of Concurrency IV
Contributed to or performed: 
COLLOQUIUM DIGEST- IEE
Notes: 
Sources: 
VIAF DBC LC NKC NLP NSK NUKAT SUDOC WKD
BOWKER
NTA
ZETO