-
Katoen Natie is an
international logistics service provider and port operator. The
company is
present in 36
countries in five
continents and
employs about...
- Joost-Pieter
Katoen (born
October 6, 1964) is a
Dutch theoretical computer scientist based in Germany. He is
distinguished professor in
Computer Science...
- Frédéric Lang, and
Wendelin Serwe, From
LOTOS to LNT. In Joost-Pieter
Katoen, Rom Langerak, and
Arend Rensink, editors, ModelEd, TestEd,
TrustEd - Essays...
- LT properties.
Baier &
Katoen (2008), p. 126.
Baier &
Katoen (2008), pp. 97–98.
Baier &
Katoen (2008), pp. 97–99.
Baier &
Katoen (2008), p. 102. Alpern...
-
Jessica Franka – Henk
Kuijpers Hector and
Dexter (a.k.a.
Coton et
Piston and
Katoen en Pinbal) –
Joost Swarte Julian Opie's
Portraits –
Julian Opie Kurt Dunder...
-
Gossypium barbadense is one of
several species of cotton. It is in the
mallow family. It has been
cultivated since antiquity, but has been
especially prized...
-
specification requirements. It was
written by
Christel Baier and Joost-Pieter
Katoen, and
published in 2008 by MIT Press. The
introduction and
first chapter...
-
representing Belgian muni****lities and intermuni****l companies, 6.95% by
Katoen Natie, 4.27% by Interfin, 2.51% by Publipart, a
holding company of EDF Luminus...
- D'Ieteren Belgium 4 billion D'Ieteren 949
Fernand Huts Belgium 3.4 billion
Katoen Natie 949
Alexandre Van
Damme Belgium 3.4 billion
Jupiler 991 Catheline...
- 46–57. doi:10.1109/SFCS.1977.32 Sec. 5.1 of
Christel Baier and Joost-Pieter
Katoen,
Principles of
Model Checking, MIT
Press "Principles of
Model Checking -...
