SwePub
Sök i LIBRIS databas

  Utökad sökning

WFRF:(Falkman Petter)
 

Sökning: WFRF:(Falkman Petter) > Specification of a ...

Specification of a Batch Plant using Process Algebra and Petri Nets

Falkman, Petter, 1972 (författare)
Chalmers tekniska högskola,Chalmers University of Technology
Lennartson, Bengt, 1956 (författare)
Chalmers tekniska högskola,Chalmers University of Technology
Tittus, Michael, 1963 (författare)
 (creator_code:org_t)
2005
2005
Engelska.
Ingår i: Proc. of the IEEE Conference on Automation Science and Engineering.
  • Konferensbidrag (refereegranskat)
Ämnesord
Stäng  

Ämnesord

NATURVETENSKAP  -- Data- och informationsvetenskap (hsv//swe)
NATURAL SCIENCES  -- Computer and Information Sciences (hsv//eng)

Publikations- och innehållstyp

kon (ämneskategori)
ref (ämneskategori)

Till lärosätets databas

Hitta mer i SwePub

Av författaren/redakt...
Falkman, Petter, ...
Lennartson, Beng ...
Tittus, Michael, ...
Om ämnet
NATURVETENSKAP
NATURVETENSKAP
och Data och informa ...
Artiklar i publikationen
Av lärosätet
Chalmers tekniska högskola

Sök utanför SwePub

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy