%0 Conference Paper %1 conf/fmoods/BolognesiB99 %A Bolognesi, Tommaso %A Bracciali, Andrea %B FMOODS %D 1999 %E Ciancarini, Paolo %E Fantechi, Alessandro %E Gorrieri, Roberto %I Kluwer %K dblp %T Formal specification of discrete systems by active predicates and dynamic constraints (Short Paper). %U http://dblp.uni-trier.de/db/conf/fmoods/fmoods1999.html#BolognesiB99 %V 139 %@ 0-7923-8429-6

@inproceedings{conf/fmoods/BolognesiB99, added-at = {2005-04-08T00:00:00.000+0200}, author = {Bolognesi, Tommaso and Bracciali, Andrea}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2dc45881017a8ae8bde997f9397c4b782/dblp}, booktitle = {FMOODS}, crossref = {conf/fmoods/1999}, editor = {Ciancarini, Paolo and Fantechi, Alessandro and Gorrieri, Roberto}, interhash = {ca1f1cfec88380ef7bf7f45ef4571aaf}, intrahash = {dc45881017a8ae8bde997f9397c4b782}, isbn = {0-7923-8429-6}, keywords = {dblp}, publisher = {Kluwer}, series = {IFIP Conference Proceedings}, timestamp = {2016-02-02T13:52:39.000+0100}, title = {Formal specification of discrete systems by active predicates and dynamic constraints (Short Paper).}, url = {http://dblp.uni-trier.de/db/conf/fmoods/fmoods1999.html#BolognesiB99}, volume = 139, year = 1999 }