%0 Journal Article %1 journals/jlp/HermannsK02 %A Hermanns, Holger %A Katoen, Joost-Pieter %D 2002 %J J. Log. Algebr. Program. %K dblp %P 1-5 %T Guest editors' introduction: Model checking in a nutshell. %U http://dblp.uni-trier.de/db/journals/jlp/jlp52.html#HermannsK02 %V 52-53

@article{journals/jlp/HermannsK02, added-at = {2018-11-14T00:00:00.000+0100}, author = {Hermanns, Holger and Katoen, Joost-Pieter}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2fee7352ac152b998b1b5a533a79f5117/dblp}, ee = {https://www.wikidata.org/entity/Q57802034}, interhash = {7d07a254ed04b760a1999d44e583f4ec}, intrahash = {fee7352ac152b998b1b5a533a79f5117}, journal = {J. Log. Algebr. Program.}, keywords = {dblp}, pages = {1-5}, timestamp = {2019-09-27T06:10:41.000+0200}, title = {Guest editors' introduction: Model checking in a nutshell.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp52.html#HermannsK02}, volume = {52-53}, year = 2002 }