%0 Conference Proceedings %1 GVK546425194 %C Setúbal %D 2006 %E Barjis, Joseph %I INSTICC Press %K Betriebliche_Information_und_Kommunikation Betriebliches_Informationssystem Modellierung Programmverifikation Simulation Software_engineering %T Modelling, simulation, verification and validation of enterprise information systems %U http://gso.gbv.de/DB=2.1/CMD?ACT=SRCHA&SRT=YOP&IKT=1016&TRM=ppn+546425194&sourceid=fbw_bibsonomy %@ 978-972-886549-8

@proceedings{GVK546425194, added-at = {2009-08-21T12:23:46.000+0200}, address = {[Setúbal]}, biburl = {https://www.bibsonomy.org/bibtex/28a9fa2a7d29b20dee056628fb03c5b6b/fbw_hannover}, editor = {Barjis, {Joseph}}, interhash = {464466ee2735a206ce07d3599038fd71}, intrahash = {8a9fa2a7d29b20dee056628fb03c5b6b}, isbn = {978-972-886549-8}, keywords = {Betriebliche_Information_und_Kommunikation Betriebliches_Informationssystem Modellierung Programmverifikation Simulation Software_engineering}, pagetotal = {X, 4, 211}, ppn_gvk = {546425194}, publisher = {INSTICC Press}, subtitle = {International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems}, timestamp = {2009-08-21T12:24:01.000+0200}, title = {Modelling, simulation, verification and validation of enterprise information systems}, url = {http://gso.gbv.de/DB=2.1/CMD?ACT=SRCHA&SRT=YOP&IKT=1016&TRM=ppn+546425194&sourceid=fbw_bibsonomy}, year = 2006 }